Tomorrow morning, I’ll wake up and realize it was all just a wonderful dream. GitHub finally allows you to change the target branch of a PR without having to click to edit its title.
Commit
159944a
I will take full credit for this one. They must have seen my target branch check PR get merged.
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.
commit 159944a