Advertisement
Guest User

Untitled

a guest
Dec 7th, 2016
74
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 0.30 KB | None | 0 0
  1. $ git filter-branch --commit-filter '
  2. if [ "$GIT_AUTHOR_EMAIL" = "schacon@localhost" ];
  3. then
  4. GIT_AUTHOR_NAME="";
  5. GIT_AUTHOR_EMAIL="schacon@example.com";
  6. git commit-tree "$@";
  7. else
  8. git commit-tree "$@";
  9. fi' HEAD
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement