FWIW, you could've just done:

$ git branch -m commonlib commonlib-old
$ git branch -m commonlib2 commonlib
$ git push <your-remote> -f commonlib

And this PR would be updated. Oh well, no big deal.

—
You are receiving this because you are subscribed to this thread.
Reply to this email directly, view it on GitHub, or mute the thread.