Attention is currently required from: Felix Singer, Nico Huber, Thomas Heijligen, Angel Pons, Anastasia Klimchuk.

View Change

1 comment:

• Patchset:

  • Patch Set #3:

    It looks like it might be able to install a github plugin that automatically sends PRs to gerrit instead of just closing them. I'm not sure how useful this would actually be in this case, since the PR would probably need to be shepherded through the gerrit review process, but this is a way that those PRs could actually be used:

    Instructions for configuring the github integration are at the gerrit plugin for github’s site:
    https://gerrit.googlesource.com/plugins/github/

To view, visit change 63671. To unsubscribe, or for help writing mail filters, visit settings.