git

git.txt

DELETE TAG
----------
git tag -d 12345
git push origin :refs/tags/12345

CREATE TAG
----------
git tag 12345
git push origin 12345

GIT RESET
----------
## find the commit that messed it up
git reset --hard commitID
git push -f origin branchName

GIT IGNORE LOCAL
----------
git update-index --assume-unchanged $(git ls-files | tr '\n' ' ')

GIT REVERT
----------
# Resets index to former commit; replace '56e05fced' with your commit code
git reset 56e05fced 

# Moves pointer back to previous HEAD
git reset --soft HEAD@{1}

git commit -m "Revert to 56e05fced"

# Updates working copy to reflect the new commit
git reset --hard