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 system administrators but any user can make a pull request. Puppet runs every 10 minutes on all server (except MediaWiki extensions or skins) and can be ran manually on each server by a system administrator. It is recommended to read the "README" file for a repository before contributing to it.

Production repositories
Puppet Puppet is the repository that manages all services/servers. Push Access: Operations Servers: puppet1

mw-config mw-config (MediaWiki configuration) is the repository that manages settings for MediaWiki. Push Access: Operations, MediaWiki Admins Servers: mw1, mw2, mw3

mediawiki mediawiki is the repository that manages the MediaWiki source code, skins and extensions. Push Access: Operations, MediaWiki Admins Servers: mw1, mw2, mw3

dns DNS (Domain Name System) is the repository that manages all DNS for Miraheze. Push Access: Operations Servers: ns1, misc1

ssl SSL (Secure Sockets Layer) is the repository that manages all SSL certificates for Miraheze. Push Access: Operations, puppet-users Servers: puppet1

Services/h3> Services is the repository that manages entries (for MediaWiki extension services). Push Access: Operations, MediaWiki Admins Servers: misc3

CreateWiki
CreateWiki is a mediawiki extension to request and create wikis on Miraheze.
 * Push access: Operations, MediaWiki-Admins, i18n
 * Servers: MediaWiki wikis

ManageWiki
ManageWiki is a mediawiki extension to manage the state of the wikis on Miraheze.
 * Push access: Operations, MediaWiki-Admins, i18n
 * Servers: MediaWiki wikis