Add the delete branch step in the process.

You don't actually delete the pull request.  You can (and should) delete the branch and then close the PR after merging.