for reasons, I had to change the name and email address for all commits within my repository, that were made by a specific user*. This worked fine so far and all affected commits have been rewritten. I’ve also removed all releases/tags, wich referenced this specific user, so it doesn’t appear anywhere, except for the list of Contributors. Did I miss something, or isn’t there a way to get rid of this specific user (except for forcing him to delete his account ^^).
Btw, the user isn’t listed in the contributors overview (Insights) anymore. Just in the contributors box on the repositories index page.
git filter-branch --env-filter ' WRONG_EMAIL="xxx" NEW_NAME="yyy" NEW_EMAIL="zzz" if [ "$GIT_COMMITTER_EMAIL" = "$WRONG_EMAIL" ] then export GIT_COMMITTER_NAME="$NEW_NAME" export GIT_COMMITTER_EMAIL="$NEW_EMAIL" fi if [ "$GIT_AUTHOR_EMAIL" = "$WRONG_EMAIL" ] then export GIT_AUTHOR_NAME="$NEW_NAME" export GIT_AUTHOR_EMAIL="$NEW_EMAIL" fi ' --tag-name-filter cat -- --branches --tags