While there are dozens of get-started guides for Git and users of GitHub see a “pro tip” every time they refresh GitHub.com, it’s still not easy to find a collection of useful tips for developers who ...