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"