gcontini
2020-10-25 64c956947f61f7d213ed00a7afa403fb591f3cd8
1
2
3
4
5
git filter-branch --env-filter 'if [ "$GIT_AUTHOR_EMAIL" = "contini.mailing@gmail.com" ]; then
     GIT_AUTHOR_EMAIL="1121667+gcontini@users.noreply.github.com";
     GIT_AUTHOR_NAME="gcontini";
     GIT_COMMITTER_EMAIL=$GIT_AUTHOR_EMAIL;
     GIT_COMMITTER_NAME="$GIT_AUTHOR_NAME"; fi' -- --all