Last modified: 2012-03-16 08:27:34 UTC
The name "gerrit2" (the Gerrit username of the linter bot that automatically runs proposed merges through a linter) is confusing. Renaming "gerrit2" is a quick win that aids in understandability. Could we please rename that Gerrit user to "linterbot" or something similar?
All Jenkins things will go through "jenkinsbot" which is a reasonable model to copy here.
Assigning to Antoine -- Antoine, can you work with Ryan to make this happen before the March 21st migration? If you think it's too much work to fit into our other pre-March-21 TODOs, then please say so.
I'm presuming that we can't do this by March 21st. So, not a blocker to the migration.
The approval is done by Gerrit hook system which use the system user named gerrit2.
Note that this is now only done on operations/puppet repository since change 2992 https://gerrit.wikimedia.org/r/2992
Other lints will be handled by Jenkins jobs.
So I guess we can just wont fix this bug.