Add "Accepting a GitHub Pull Request" protocol

If it's a branch on the local repo, `git push origin --delete branch-name` as well.