Sigh. Recreate & force push branch based on origin, not local copy.
Git apparently autocloses the outstanding PR when this happens?!
3 files changed