Change Eclipse ESCET default branch to 'develop'

For the Eclipse ESCET project, we want to use a GitFlow-like development model.

We have only a single Git repo. Can you change our 'default' branch from 'master' to 'develop'. 'master' stays a 'protected' branch, develop is not 'protected'.

(It would of course be great if we could change such simple configuration ourselves)

I've set the default branch to "develop" as requested.

We will evaluate, if we can give project leads "maintainer" permissions by default.

closed

mentioned in issue #17 (closed)

mentioned in issue #456 (closed)

assigned to @fgurr

mentioned in issue #1077 (closed)