mirror of
https://github.com/zyedidia/micro.git
synced 2026-02-07 15:40:24 +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