replying to @paulinevos
Speaking of which… https://github.com/doctrine/.github/pull/92
Not sure if that is the right fix, it's a bit awkward.
GitHubTake new Github Overview UI into account by greg0ire · Pull Request #92 · doctrine/.githubWith that UI, the method for changing the target branch is different than before.