aboutsummaryrefslogtreecommitdiff
path: root/mediawiki.lrdevplugin
diff options
context:
space:
mode:
authorRobin Krahl <me@robin-krahl.de>2016-02-21 01:01:34 +0100
committerRobin Krahl <me@robin-krahl.de>2016-02-21 01:01:34 +0100
commit3b5a208fa523f17039f55b9838ea9ad4a923811a (patch)
treec1643459868a0a41597d2d88d941061a0663031c /mediawiki.lrdevplugin
parente6db8d7cb75b1a126acf050ab27d91ffe5e18ae5 (diff)
downloadLrMediaWiki-3b5a208fa523f17039f55b9838ea9ad4a923811a.tar.gz
LrMediaWiki-3b5a208fa523f17039f55b9838ea9ad4a923811a.tar.bz2
scripts: add release.sh scriptHEADmaster
Add the release.sh script that prepares and publishes a release of LrMediaWiki. The script assumes that the corresponding release has already been created on GitHub. It bundles the required files, creates archives and checksums and uploads them to GitHub.
Diffstat (limited to 'mediawiki.lrdevplugin')
0 files changed, 0 insertions, 0 deletions