Jonas Nick 8e268c5ced Fetch from the nixpkgs repo instead of nixpkgs-channels ...

nixpkgs-channels is deprecated.

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

..

fetch-channel

Fetch from the nixpkgs repo instead of nixpkgs-channels

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

fetch-release

Add fetch-release script

2020-04-08 07:01:35 +00: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

vbox-resize-disk1.sh

Rename contrib/ to helper/

2019-11-11 18:45:17 +01:00