Hello all,
With the upgrade of Gerrit, I have also taken the time to improve the
Reviewer bot. For those who do not know: the reviewer bot is a tool
that adds potential reviewers to new changesets, based on
subscriptions [1].
One of the problems we have encountered is the use of the SSH-based
Gerrit change feed. This effectively requires 100% uptime to not miss
any changesets. This has now been solved: we are now using the
mediawiki-commits mailing list, and are reading the messages in a
batched way (every five minutes).
This change also makes development & testing much easier, which is a nice bonus.
On the backend, there are two changes: instead of the JSON RPC api, we
are now using the REST api, and we have moved hosting from the
toolserver to
translatewiki.net (thank you, Siebrand!)
Best,
Merlijn
[1]
http://www.mediawiki.org/wiki/Git/Reviewers