I accidentally pushed to GitHub with the wrong email.
I 're-wrote' the history using this post: Git, rewrite previous commit usernames and emails
git change-commits GIT_AUTHOR_EMAIL "old@email.com" "new@email.com"
git push origin +master
I now understand I created a new set of commits mirroring the original history. When my colleague pulled, his git client merged the original and new histories (I think he should have deleted / re-cloned):
I'm pretty sure another rebase & re-clone would fix it, but before I screw it up more, I thought I should ask SO. We are only 2 devs in the same office (so it's be easy to re-clone).
Question: How can I keep the RED branch and permanently discard the equivalent part of the BLUE?