Git: add `git hub merge` command
Git: add `git hub merge` command

This should mostly do what you want:

  # on "master" (or "next" or whatever), merge in PR 20:
  git hub merge 20

  # on pull/20, merge to "master":
  git hub merge

wincent/wincent,wincent/wincent,wincent/wincent,wincent/wincent,wincent/wincent,wincent/wincent,wincent/wincent,wincent/wincent