git-Modify the userName after push

This method is suitable for updating the username after pushing.

cd the root of THE GIT PROJECT

Replace the following parameters.

OLD_EMAIL
CORRECT_NAME
CORRECT_EMAIL

executive:

git filter-branch  -f --env-filter '
OLD_EMAIL="oldEmail@foxmail.com"
CORRECT_NAME="newName"
CORRECT_EMAIL="new@email.com"
if [ "$GIT_COMMITTER_EMAIL" = "$OLD_EMAIL" ]
then
export GIT_COMMITTER_NAME="$CORRECT_NAME"
export GIT_COMMITTER_EMAIL="$CORRECT_EMAIL"
fi
if [ "$GIT_AUTHOR_EMAIL" = "$OLD_EMAIL" ]
then
export GIT_AUTHOR_NAME="$CORRECT_NAME"
export GIT_AUTHOR_EMAIL="$CORRECT_EMAIL"
fi
' --tag-name-filter cat -- --branches --tags

Push up the dev branch.

git push --force --tags origin 'refs/heads/dev'