defunkt/hub — pull request #164 by jfirebaugh (2012-04-17 19:39:51+00:00)
Title: Add `hub merge` command

It does what GitHub's "Merge pull request" button does:
merges the pull request with a nice commit message that
includes the pull request ID and title. Like `hub checkout`,
it creates a remote, but it does not create a local branch.