Grisu version
Merge branch 'release' of github.com:nesi/nesi-setup into release