Pete's Git Tips and Tricks

These notes were copied directly from Pete's personal private wiki on 2023-10-18. There was no reason to keep them private, but they also are written as personal notes to self, without a lot of context. Feel free to improve them!

Not in any particular order (well, alpha by first word, but that doesn't create any useful semantic order):