I know that this is not available as a direct feature already, but maybe there are alternative approaches or it might be considered for a future feature.
In short: We would like to have a mechanism where each developer can overrule the default branch of the repository to an own custom one.
In long: We have multiple teams in a monorepo where each team has their own develop branch. It is cumbersome for team members to change as part of every PR the target branch to their team-develop branch. So it would be nice if everyone can decide on their own what their default branch is.
I’m currently considering to make a browser plugin or extend refined-github. But actually it would be great to have it in GitHub by default.