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.

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
Services is the repository that manages entries (for MediaWiki extension services). Push Access: Operations, MediaWiki Admins Servers: puppet1

CreateWiki
CreateWiki is a mediawiki extension to request and create wikis on Miraheze.
 * Push access: Operations, MediaWiki-Admins, i18n
 * Servers: MediaWiki wikis (Only when up to date in MediaWiki repo)

ManageWiki
ManageWiki is a mediawiki extension to manage the state of the wikis on Miraheze.
 * Push access: Operations, MediaWiki-Admins, i18n
 * Servers: MediaWiki wikis (Only when up to date in MediaWiki repo)

WikiDiscover
WikiDiscover is a mediawiki extension to create an on-wiki list of miraheze wikis. (Special:WikiDiscover]]
 * Push access: Operations, MediaWiki-Admins, i18n
 * Servers: MediaWiki wikis (Only when up to date in MediaWiki repo)