Bookmarks
2012
November
11
Remove last commit from repository
Nov
11
2012
git reset --hard HEAD~1 git push -f
Remove bad tag from repository
Nov
11
2012
git tag -d bad-tag git push origin :bad-tag git tag -a good-tag -m "Add good-tag" git push --tags