My team is experimenting with using GitHub pull requests for code reviews. My only question is what do you do with the branch after you\'re done? I would think you\'d want t
I always delete branches that have been merged into master. A Git branch, after all, is a pointer to a commit, and that commit is now available in the history of another branch, so I don't need the branch anymore. (You can always recreate the branch by looking at the parents of the merge commit.)