j
k
j a
j l
FWIW, you could've just done:
```bash $ 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.
Attachments:
Back to the thread
Back to the list