1 2 | git filter-branch --commit-filter 'if [ "$GIT_AUTHOR_NAME" = "LeonB" ]; then export GIT_AUTHOR_NAME="Leon Bogaert"; export GIT_AUTHOR_EMAIL=leon@tim-online.nl; |
After this is done you can do:
1 | git push -f
|
It says some scary things like:
1 2 | # Your branch and 'origin/v3' have diverged, # and have 75 and 75 different commits each, respectively. |
But you can Ignore those.
Comments