Skip to content

extension distributor, specialised for KoMa extensions

License

Notifications You must be signed in to change notification settings

Die-KoMa/mediawiki-extdist

 
 

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

58 Commits
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

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

extension distributor, specialised for KoMa extensions

Resources

License

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published

Languages

  • Python 89.8%
  • Nix 10.2%