GitHub Branching and CollaborationA practical workflow for branches, forks, pull requests, reviews, synchronization, and merges.