Turns out that tags are remote-agnostic in git. Beware fetching them from multiple remote, it can get messy.
Related Posts
Ooh, difftastic is now listed on the official git website! https://git-scm.com/tools/command-line
I'd heard the conventional wisdom that UX research states that mice are more efficient than keyboards, but turns out there's virtually no research on this!
https://danluu.com/keyboard-v-mouse/
It is remarkably hard to escape command line arguments safely on Windows, and the standard libraries of multiple languages have needed patching: https://flatt.tech/research/posts/batbadbut-you-cant-securely-execute-commands-on-windows/