Guest User

Untitled

a guest
Nov 24th, 2017
60
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 0.38 KB | None | 0 0
  1. git filter-branch -f --commit-filter '
  2. if [ "$GIT_AUTHOR_NAME" = "old name" ];
  3. then
  4. GIT_AUTHOR_NAME="new name";
  5. GIT_AUTHOR_EMAIL="new mail";
  6. GIT_COMMITTER_NAME="$GIT_AUTHOR_NAME";
  7. GIT_COMMITTER_EMAIL="$GIT_AUTHOR_EMAIL";
  8. git commit-tree "$@";
  9. else
  10. git commit-tree "$@";
  11. fi' HEAD
Add Comment
Please, Sign In to add comment