Reason:
The PubSubHubbub extension has been developed by two students in 2014 (Alexander Lehmann and Sebastian.Brueckner).
The intent was to create an internal push notification system, but it never get used in our architecture. We nowadays have change propagation which I guess would cover the need.
Anyway, @Lydia_Pintscher on T48525#1044776 explains how the extension is no more being worked on.
So I guess we should archive it. It can always be restored later on.
- Archive documentation on mediawiki.org ( https://www.mediawiki.org/wiki/Extension:PubSubHubbub )
- Remove from mediawiki/extensions / mediawiki/skins ( along with in .gitmodules)
- Remove tests in integration/config ( zuul/layout.yaml )
- Remove from translatewiki ( groups/MediaWiki/mediawiki-extensions.txt )
- Empty repository and add a OBSOLETE file.
- Archive Phabricator project MediaWiki-extensions-PubSubHubbub
- Edit Phabricator project MediaWiki-extensions-PubSubHubbub description for associated extension/skin with a link to this ticket
- Archive the extension's diffusion repository: rEPSH
- Mark the repository read-only in Gerrit: https://gerrit.wikimedia.org/r/#/admin/projects/mediawiki/extensions/PubSubHubbub
- Delete the GitHub mirror: http://github.com/wikimedia/mediawiki-extensions-PubSubHubbub