#which it will be eventually!

[transienturl]

idea: refined github feature that doesn't let you merge a PR if any other PRs in the same repo target that branch (so that you can change their targets to the branch you're about to merge into, preventing them from being instantly closed with no way to reopen them if you have PR branch autodeletion on)

...you know, that's probably something I could legitimately create. hm.