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