kosmos/chef
kosmos/chef
8
3
Fork 0
Code Issues 32 Pull Requests 2 Projects 2 Activity

Switch the Mediawiki extensions to GitHub zips #144

Manually merged
greg merged 1 commits from bugfix/mediawiki_extensions_deleted_releases into master 2020-03-04 15:07:24 +00:00
Conversation 0 Commits 1 Files Changed 2 +4 -4

1 Commits

Author SHA1 Message Date
Greg Karékinian
d7363d662b Switch the Mediawiki extensions to GitHub zips 
This fixes the annoying issue of Mediawiki only keeping one revision of
each branch
 2020-03-04 16:03:12 +01:00