https://gerrit.wikimedia.org/r/#/c/90739/ was merged, but isn't showing up in https://git.wikimedia.org/summary/mediawiki%2Fextensions%2FMassMessage.git nor https://github.com/wikimedia/mediawiki-extensions-MassMessage/commits/master
Also, https://git.wikimedia.org/ says "there has been no activity today" (false), and the active repositories sidebar is empty
Version: wmf-deployment
Severity: blocker