Some useful git commands
# Skip track a file
git update-index --assume-unchanged file
# unset
git update-index --no-assume-unchanged file
# Remove Local Tag
git tag -d tag-name
# Remove remote Tag
git push origin :tag-name
## Notice the colon : before tag name.
#Remove local tags that don't exist on remote
git fetch --prune origin "+refs/tags/*:refs/tags/*"