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)