Add "Accepting a GitHub Pull Request" protocol

This would be, for example, `git push origin --delete dc-open-source`, which would delete the branch on which the pull was based but not this other pointer to the same commit.