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 68aa7bc
I will take full credit for this one. They must have seen my target branch check PR get merged.
the edit title button was secretly the most used branch switcher on github 😅