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
c2180a2
I will take full credit for this one. They must have seen my target branch check PR get merged.
commit c2180a2
Absolutely, and they created the new UI just minutes after your commit. You have more power than you think.
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.