13 Advanced (but useful) Git Techniques and Shortcuts