fyi - I'm planning to upgrade gerrit to 2.5.x next Sunday (june 9th),
morning IL time.
downtime should be a few minutes.
post the upgrade the github mirroring will stop working, and will be
re-enabled as a gerrit plugin after gerrit seems stable.
Thanks,
Itamar