Apparently gerrit-wm stopped sending notification since midnigt August 30th.
Version: unspecified Severity: normal
Bot was restarted by ops