Erik Arvstedt 84b3217c3d

fetch-release: minor improvements ...

This script is potentially fetched from an untrusted source and should
be in good shape to be easily auditable.

- Create just one TMPDIR
- Improve comments
- Use `cut` to extract sha256
- Use camelCase var names like in other scripts

2021-03-16 12:46:18 +01:00

..

fetch-channel

Fetch from the nixpkgs repo instead of nixpkgs-channels

2020-12-06 21:42:20 +00:00

fetch-release

fetch-release: minor improvements

2021-03-16 12:46:18 +01:00

key-jonasnick.bin

Update jonasnick's gpg key

2020-07-08 12:03:57 +00:00

push-release.sh

push-release: fix bug where assets are not pushed

2020-09-24 16:10:23 +00:00