Replace git author mail in history

Sometimes you or one of your coworkers accidently used the wrong author mail (ode rdid not set up the correct one) for committing changes. To change that you can use the following command:

git filter-branch --env-filter 'if [ $GIT_AUTHOR_EMAIL = old@example.com ]; then GIT_AUTHOR_EMAIL=new@example.org; fi; export GIT_AUTHOR_EMAIL' -f