mirror of
https://github.com/zyedidia/micro.git
synced 2026-02-12 01:50:27 +09:00
1. doesn't need a given parameter to set the VERSION, since it is determined itself 2. moves the *.deb only in case package-deb.sh succeeded 3. rename *.tar.gz to *.tgz shorten the extension to... 4. add SHA256 sums per artifact