Useful, but rarely used git commands

Some useful, but rarely used and hence easy to forget git commands. Recording these here as a note to myself.

Purpose

Command

Delete a Remote Tag

git push --delete origin <tagname>

Filenames diff between two commits

git diff commit commit2 --stat

List all tags, sorted by name, in reverse

git tag -l --sort="-v:refname"