A Guide to Developer Collaboration with GitHub