Running it

To use the script, suppose you receive pull request number 14 on "myproject"
at Github. Go to your git working directory, select the desired branch
(usually master), and type:

prtogerrit myproject_github 14

If the pull request merges cleanly, that's it! The script will contact
the Github API, get the branch information for pull request 14, squash-merge
it into a new local branch called "myproject_github_14", and will then
push it up with "git review". It will also close the pull request and
add comments for the contributor how to find the review.

Conflicts

If the squash-merge has conflicts, prtogerrit will stop and let you correct
the changes, by using "git add <filename>" just like any other merge
resolution. Then run the command again with --continue: