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