Git-tricks that I might teach people about