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
1c1b37a
the edit title button was secretly the most used branch switcher on github 😅
commit 1c1b37a