Last modified: 2013-06-27 14:45:49 UTC
The Gerrit bot that posts to Bugzilla seems to have gone missing.
Hmmm, perhaps it's back now. It had gone missing. Example: bug 13438 comment 10.
Posted twice here: * bug 49468 comment 1 * bug 49468 comment 2
https://gerrit.wikimedia.org/r/#/c/67172/ was merged, but bug 43844 never received any notification.
https://gerrit.wikimedia.org/r/#/c/67920/ was also merged, but bug 48555 never received any notification.
Dupe of bug 49388?
(In reply to comment #5) > Dupe of bug 49388? Probably. Though there are other issues mixed in here (such as the bot posting twice to the same bug [comment 2]).
(In reply to comment #6) > Though there are other issues mixed in here (such as the bot posting twice to > the same bug [comment 2]). I reopened bug 46997.
Bug 48919 comment 10 as well.
Should be fixed with the 2.7-rc2-505-g7502a46 deploy.