diff options
author | Robin Krahl <me@robin-krahl.de> | 2016-02-21 01:01:34 +0100 |
---|---|---|
committer | Robin Krahl <me@robin-krahl.de> | 2016-02-21 01:01:34 +0100 |
commit | 3b5a208fa523f17039f55b9838ea9ad4a923811a (patch) | |
tree | c1643459868a0a41597d2d88d941061a0663031c /mediawiki.lrdevplugin | |
parent | e6db8d7cb75b1a126acf050ab27d91ffe5e18ae5 (diff) | |
download | LrMediaWiki-3b5a208fa523f17039f55b9838ea9ad4a923811a.tar.gz LrMediaWiki-3b5a208fa523f17039f55b9838ea9ad4a923811a.tar.bz2 |
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