Advertisement
Guest User

Untitled

a guest
Oct 2nd, 2015
119
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 0.53 KB | None | 0 0
  1. Changing the Git history of your repository using a script
  2.  
  3. git filter-branch --env-filter '
  4.  
  5. OLD_EMAIL="basel@gopangea.com"
  6. CORRECT_NAME="Kacheflowe"
  7. CORRECT_EMAIL="basel.farag@gmail.com"
  8. if [ "$GIT_COMMITTER_EMAIL" = "basel@gopangea.com" ]
  9. then
  10. export GIT_COMMITTER_NAME="Kacheflowe"
  11. export GIT_COMMITTER_EMAIL="basel.farag@gmail.com"
  12. fi
  13. if [ "$GIT_AUTHOR_EMAIL" = "basel@gopangea.com" ]
  14. then
  15. export GIT_AUTHOR_NAME="Kacheflowe"
  16. export GIT_AUTHOR_EMAIL="basel.farag@gmail.com"
  17. fi
  18. ' --tag-name-filter cat -- --branches --tags
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement