gerrit upgrade

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