Tim Hobbs timhobbs

## git-tag-delete-local-and-remote.sh
# delete local tag '12345'
git tag -d 12345
# delete remote tag '12345' (eg, GitHub version too)
git push origin :refs/tags/12345
# alternative approach
git push --delete origin tagName
git tag -d tagName

## gist:4d2751b1cbe6d9498692465a40cc9c77
git fetch --all
git reset --hard origin/master
git pull origin master
	git fetch --all
	git reset --hard origin/master
	git pull origin master