Erik Arvstedt 955b44404c

delete helper/fetch-channel ...

This script was obsoleted by switching to flakes.

2021-09-11 15:07:23 +02: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

update-flake.nix

add helper/update-flake.sh

2021-08-26 12:45:10 +02:00

update-flake.sh

add helper/update-flake.sh

2021-08-26 12:45:10 +02:00