Merging PRs on the command line

[Ken Dreyer <kdreyer@redhat.com>]

Hi Loic,

I was reading over some of the HOWTO docs in the wiki, and saw the steps
here:

http://tracker.ceph.com/projects/ceph-releases/wiki/HOWTO_populate_the_integration_branch

It looks like you're using curl to get the title of the PR, populating
the commit message, etc.

I've found that GitHub's "hub" utility is really great for simplifying
this. I typically merge PRs in GitHub by running the following in my
local clone:

  git checkout master
  git pull
  hub merge https://github.com/ceph/ceph/pull/4658
  git commit --amend (to add my "Reviewed-by" line to the merge commit)
  git push

The hub utility uses GitHub's APIs to automatically add a
non-fast-forward commit with a "regular" commit message that looks
more-or-less identical to the one that I'd get if I clicked the "Merge"
button in the web UI.

The thing that sold me on this is that all the merge commits are
authored by "kdreyer@redhat.com" instead of my personal email address. I
found that when I clicked the "Merge" button in GitHub's web UI, the
merge commits were authored by my primary email address for my
"ktdreyer" GitHub UID, which isn't really what I want for Ceph.

- Ken