Things I've learned about git but don't use that often.
Wherever possible, use colours.
git config --global color.ui true
Want to be able to checkout a pull request locally?
git config --global --add remote.origin.fetch "+refs/pull/*/head:refs/remotes/origin/pr/*"
How about the product of merging a PR? Perhaps to save yet another merge being done, and not losing the product of your CI system.
git config --global --add remote.origin.fetch "+refs/pull/*/merge:refs/remotes/origin/ci/*"