miraheze / puppet
Production Puppet code
☆16Updated last week
Related projects: ⓘ
- Production MediaWiki configuration☆82Updated this week
- Mirror of https://gerrit.wikimedia.org/g/operations/dns. See https://www.mediawiki.org/wiki/Developer_access for contributing.☆19Updated 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
- Github mirror of "mediawiki/skins/Cosmos" - our actual code is hosted with Gerrit (please see https://www.mediawiki.org/wiki/Developer_ac…☆13Updated this week
- Reviewer bot for WMF's Gerrit☆9Updated 2 years ago
- Helpmebot☆17Updated last month
- Extension used allowing to manage wiki settings by wiki bureaucrats☆32Updated 2 weeks ago
- 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
- A bash.org inspired quips server powered by Elasticsearch☆11Updated last week
- 🌱 Fresh environments. Mirror of https://gerrit.wikimedia.org/g/fresh. See https://www.mediawiki.org/wiki/Developer_access for contr…☆24Updated 3 months ago
- A timezone converter for online events☆10Updated 4 years ago
- ⚙️ Configuration for Wikimedia Foundation wikis. This is a mirror from https://gerrit.wikimedia.org/g/operations/mediawiki-config/. See …☆79Updated this week
- 💬 Github mirror of MediaWiki extension Flow - our actual code is hosted with Gerrit (please see https://www.mediawiki.org/wiki/Develope…☆20Updated this week
- Send Prometheus Alerts to IRC using Webhooks☆57Updated 7 months ago
- Source for https://phabricator.wikimedia.org/p/Maintenance_bot/☆12Updated 11 months ago
- IRC bot that is being used on number of wikimedia channels☆36Updated 9 months ago
- 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 month
- IRC bot that is customization, must use with an existing sopel install for the files to do anything☆11Updated last year
- Mirror from https://gerrit.wikimedia.org/g/operations/docker-images/production-images☆10Updated this week
- Github mirror of MediaWiki extension CentralAuth - our actual code is hosted with Gerrit (please see https://www.mediawiki.org/wiki/Devel…☆16Updated this week
- 🔔 Notifications for MediaWiki. Mirror from https://gerrit.wikimedia.org/g/mediawiki/extensions/Echo. See https://www.mediawiki.org/wiki/…☆25Updated this week
- This is a mirror from https://gerrit.wikimedia.org. See https://www.mediawiki.org/wiki/Developer_access for contributing.☆36Updated this week
- Web-based whois gateway written in Python for lighttpd☆25Updated 3 years ago
- Github mirror of translatewiki - our actual code is hosted with Gerrit (please see https://www.mediawiki.org/wiki/Developer_access for co…☆35Updated this week
- Minimalist configuration management tool for devops☆20Updated 9 years ago
- Public release of MediaWiki extensions developed by Microsoft☆17Updated last year
- GitHub mirror of the mediawiki/extensions repository. Development happens at https://gerrit.wikimedia.org. Please see https://www.mediawi…☆36Updated this week
- This repository has been moved to GitLab: https://gitlab.wikimedia.org/repos/ci-tools/patchdemo☆25Updated 11 months ago
- Awk based command-line tool to access some Wikimedia API functions☆28Updated 9 months ago