https://gerrit.wikimedia.org/r/plugins/gitiles/mediawiki/extensions/PopupAlerts/ was created nine months ago and is empty.
https://www.mediawiki.org/wiki/Gerrit/New_repositories/Requests/Archive/2019 lists @tosfos as the requester.
https://www.mediawiki.org/wiki/Extension:PopupAlerts does not exist.
@tosfos: What is the plan here?