[Development] GitHub Pull requests

[Richard Weickelt]

>> In an ideal world...
>>
>> - Alice opens a pull request on GitHub.
>> - A bot sees the PR and opens a corresponding request on Gerrit.
>> - Bob comments on the Gerrit request.
>> - A bot sees Bob's comment and replicates it to the GitHub PR.
>> - Alice replies (on GitHub) to Bob's comment.
>> - A bot sees Alice's comment and replicates it to Gerrit.
>>
>> ...and so on.
> 
> Then Bob asks Alice to make a change in commit, and she has to make
> push -f in her branch. After that, review comments on GitHub are smashed,
> while remain perfectly readable in Gerrit, and Bob can see difference
> between patch versions while Alice cannot.

There is a github plugin for Gerrit that promises some form of integration:

    https://gerrit.googlesource.com/plugins/github/

It seems to be enabled on gerrithub:

    http://gerrithub.io/

    "GitHub pull requests
     Keep in touch with external users synchronizing
     pull requests with reviews."

    "Pull requests with Gerrit
     Fetch your GitHub pull requests and upload them
     in Gerrit for review. Enable a single point of
     validation of the Code Review workflow and keep
     your external contributors up-to-date on GitHub."

I haven't tried it though. Does it work? Maybe there is a project on
https://review.gerrithub.io/ where you can see github PR syncing in action.

Richard