miraheze / puppet
Production Puppet code
☆16Updated this week
Alternatives and similar repositories for puppet:
Users that are interested in puppet are comparing it to the libraries listed below
- Production MediaWiki configuration☆86Updated this week
- Extension used allowing to manage wiki settings by wiki bureaucrats☆32Updated this week
- ⚙️ This is a mirror from https://gerrit.wikimedia.org. See https://www.mediawiki.org/wiki/Developer_access for contributing.☆24Updated 2 weeks ago
- A timezone converter for online events☆10Updated 4 years ago
- Github mirror of "mediawiki/skins/Cosmos" - our actual code is hosted with Gerrit (please see https://www.mediawiki.org/wiki/Developer_ac…☆13Updated 2 weeks ago
- Reviewer bot for WMF's Gerrit☆9Updated 2 years ago
- A bash.org inspired quips server powered by Elasticsearch☆11Updated 4 months ago
- Helpmebot☆17Updated 2 months ago
- IRC bot that is customization, must use with an existing sopel install for the files to do anything☆11Updated last year
- 💬 Github mirror of MediaWiki extension Flow - our actual code is hosted with Gerrit (please see https://www.mediawiki.org/wiki/Develope…☆21Updated this week
- For a number of years now, work has been proceeding in order to bring to perfection the crudely-conceived idea of a machine that would no…☆12Updated last year
- Mirror of https://gerrit.wikimedia.org/g/operations/dns. See https://www.mediawiki.org/wiki/Developer_access for contributing.☆20Updated this week
- Web-based whois gateway written in Python for lighttpd☆26Updated last month
- Mirror of https://gerrit.wikimedia.org/g/labs/tools/intuition☆36Updated last week
- Public release of MediaWiki extensions developed by Microsoft☆19Updated last year
- IRC bot that is being used on number of wikimedia channels☆36Updated last year
- Source for https://phabricator.wikimedia.org/p/Maintenance_bot/☆12Updated last year
- 🌱 Fresh environments. Mirror of https://gerrit.wikimedia.org/g/fresh. See https://www.mediawiki.org/wiki/Developer_access for contr…☆24Updated last week
- Github mirror of MediaWiki extension CentralNotice - our actual code is hosted with Gerrit (please see https://www.mediawiki.org/wiki/Dev…☆14Updated this week
- GitHub mirror of the mediawiki/extensions repository. Development happens at https://gerrit.wikimedia.org. Please see https://www.mediawi…☆38Updated this week
- Wikimedia OTRS release generator☆12Updated 4 years ago
- Mirror of https://gerrit.wikimedia.org/g/mediawiki/tools/phan/SecurityCheckPlugin See https://www.mediawiki.org/wiki/Developer_access for…☆24Updated last month
- The Zonemaster Backend - part of the Zonemaster project☆14Updated last month
- Send Prometheus Alerts to IRC using Webhooks☆57Updated last year
- A Symfony 4 & 5 bundle that provides some common parts of web-based tools running on Wikimedia's Toolforge. Maintained by the Wikimedia F…☆13Updated last week
- ⚙️ Configuration for Wikimedia Foundation wikis. This is a mirror from https://gerrit.wikimedia.org/g/operations/mediawiki-config/. See …☆81Updated this week
- This repository has been moved to GitLab: https://gitlab.wikimedia.org/repos/ci-tools/patchdemo☆25Updated last year
- Github mirror of MediaWiki extension CentralAuth - our actual code is hosted with Gerrit (please see https://www.mediawiki.org/wiki/Devel…☆16Updated this week
- The extension used at Miraheze for requesting & creating wikis☆25Updated this week
- A gadget to add persistent table of contents on Wikipeida articles☆11Updated 2 years ago