-
Notifications
You must be signed in to change notification settings - Fork 2
Github mirror of "labs/tools/extdist" - our actual code is hosted with Gerrit (please see https://www.mediawiki.org/wiki/Developer_access for contributing
License
wikimedia/labs-tools-extdist
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
extdist The extdist service is a companion to the ExtensionDistributor MediaWiki extension. It uses that API to clone extensions and skins from Gerrit and build tarballs for distribution. The main instance of this services runs at extdist.wmflabs.org. Code prior to 2016-02-08 was licensed under a vague "public domain" statement. It is now licensed under the GPL, version 3 or later. A copy of the license may be found at COPYING.
About
Github mirror of "labs/tools/extdist" - our actual code is hosted with Gerrit (please see https://www.mediawiki.org/wiki/Developer_access for contributing