Tech:GitHub
GitHub is the service we use to host our open-source repositories. They can be found here.
Push access to the repositories is limited to Technology team members, but any user can make a pull request. Puppet runs every 30 minutes (except MediaWiki extensions or skins) and can be run manually on each server by a member of the Technology team with access. Some repositories can also be deployed with mwdeploy.
It is recommended to read the “README.md” file for a repository before contributing to it.
Some repositories may be given access to Technology team members without shell access, however, only those with shell access may be given push access to repositories that automatically deploy (puppet, mw-config, mediawiki-repos, ssl, dns, and MirahezeMagic)
Production repositories
puppet
puppet is the repository that manages all services/servers.
- Push Access: Infrastructure Specialists
- Servers: puppet181
mw-config
mw-config (MediaWiki configuration) is the repository that manages settings for MediaWiki.
- Push Access: Infrastructure Specialists, MediaWiki Specialists
- Servers: MediaWiki servers
mediawiki-repos
mediawiki-repos is the repository where we have a list of all installed extensions. Puppet uses this to clone the extension repos.
- Push Access: Infrastructure Specialists, MediaWiki Specialists
- Servers: mwtask171, mwtask181, test151
dns
dns is the repository that manages all DNS (Domain Name System) for Miraheze.
- Push Access: Infrastructure Specialists
- Servers: ns1, ns2
ssl
ssl is the repository that manages all SSL certificates (Secure Sockets Layer) for Miraheze.
- Push Access: Infrastructure Specialists, ssl-admins
- Servers: puppet181
MediaWiki extensions and skins
CreateWiki
CreateWiki is a MediaWiki extension to request and create wikis on Miraheze.
- Push Access: Infrastructure Specialists, MediaWiki Specialists, Software Engineers, i18n 1
- Servers: MediaWiki servers 2
GlobalNewFiles
GlobalNewFiles is a MediaWiki extension that provides a special page to display all newly uploaded files globally.
- Push Access: Infrastructure Specialists, MediaWiki Specialists, Software Engineers, i18n 1
- Servers: MediaWiki servers 2
ImportDump
ImportDump is a MediaWiki extension designed to automate user import requests.
- Push Access: Infrastructure Specialists, MediaWiki Specialists, Software Engineers, i18n 1
- Servers: MediaWiki servers 2
IncidentReporting
IncidentReporting is a MediaWiki extension that provides MediaWiki-based incident reporting forms.
- Push Access: Infrastructure Specialists, MediaWiki Specialists, Software Engineers, i18n 1
- Servers: MediaWiki servers 2
ManageWiki
ManageWiki is a MediaWiki extension to manage the state of the wikis on Miraheze.
- Push Access: Infrastructure Specialists, MediaWiki Specialists, Software Engineers, i18n 1
- Servers: MediaWiki servers 2
MatomoAnalytics
MatomoAnalytics is a MediaWiki extension for integration with Matomo for analytics.
- Push Access: Infrastructure Specialists, MediaWiki Specialists, Software Engineers, i18n 1
- Servers: MediaWiki servers 2
MirahezeMagic
MirahezeMagic is a MediaWiki extension for Miraheze-specific i18n and hooks.
- Push Access: Infrastructure Specialists, MediaWiki Specialists, i18n 1
- Servers: MediaWiki servers 3
RemovePII
RemovePII is a MediaWiki extension used by trust and safety to remove all personal identifiable information from a user.
- Push Access: Infrastructure Specialists, MediaWiki Specialists, Software Engineers, i18n 1
- Servers: MediaWiki servers 2
RequestSSL
RequestSSL is a MediaWiki extension designed to facilitate user SSL requests for custom domains.
- Push Access: Infrastructure Specialists, MediaWiki Specialists, Software Engineers, i18n 1
- Servers: MediaWiki servers 2
RottenLinks
RottenLinks is a MediaWiki extension for Rotten link detection.
- Push Access: Infrastructure Specialists, MediaWiki Specialists, Software Engineers, i18n 1
- Servers: MediaWiki servers 2
WikiDiscover
WikiDiscover is a MediaWiki extension to create an on-wiki list of Miraheze wikis.
- Push Access: Infrastructure Specialists, MediaWiki Specialists, Software Engineers, i18n 1
- Servers: MediaWiki servers 2