Well, Wikimedia people can contribute to non-Wikimedia
projects as well...
... which makes me remember that I didn't include the webplatfom/* repos.
Should we?
webplatform.org/mediawiki/Comments
MediaWiki extension Comments for
webplatform.org
webplatform.org/mediawiki/WebPlatformAuth
MediaWiki extension WebPlatformAuth for
webplatform.org
webplatform.org/mediawiki/WebPlatformSearchAutocomplete
MediaWiki extension WebPlatformSearchAutocomplete for
webplatform.org
webplatform.org/mediawiki/WebPlatformTranslation
MediaWiki extension WebPlatformTranslation for
webplatform.org
No. I didn't contribute any of these, and I didn't contribute as an
WMF employee to this project. This is a separate organization that
happens to be using our Gerrit server since it's beneficial to us all.
- Ryan