wikimedia/integration-zuul-config
⚙️ This is a mirror from https://gerrit.wikimedia.org. See https://www.mediawiki.org/wiki/Developer_access for contributing.
Public GitHub Catalog
Discovered Oct 2, 2026
wikimedia / mediawiki-extensions-CodeMirror
Github mirror of MediaWiki extension CodeMirror - our actual code is hosted with Gerrit (please see https://www.mediawiki.org/wiki/Developer_access for contributing
About this discovery
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
#23117263GitHub System ID
wikimediaOrganization / User
PublicVisibility
ActiveCatalog Status
More from wikimedia
wikimedia/wikimediablog-wordpresscom
Wikimedia blog theme, mirrored from WordPress's SVN
wikimedia/simplei18n
No frills internationalization engine for use with PHP projects.
wikimedia/mediawiki-extensions-OAuthAuthentication
Github mirror of MediaWiki extension OAuthAuthentication - our actual code is hosted with Gerrit (please see https://www.mediawiki.org/wiki/Developer_access for contributing