Le 06/12/12 19:19, Antoine Musso a écrit :
If all works fine tonight, I will configure jenkins-bot so it merges the Change automatically whenever the test are successful.
Jenkins now automatically merge changes made to mediawiki/core.git that have received CR+2 and pass all tests. The related Zuul change is:
https://gerrit.wikimedia.org/r/#/c/37420/
So we now just have to CR+2 and comment and the rest happens magically.