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
81913f4
Sweet jesus, I just realized you can edit the target branch like this, omg
commit 81913f4