Add fetch-release script

This allows getting the hash of the latest (or some other) release
using github releases and gpg verification.

This commit is contained in:

Jonas Nick

2020-04-08 07:01:35 +00:00

parent c303cd47e4

commit 5ed0284db9

5 changed files with 54 additions and 28 deletions

View File

				`@@ -0,0 +1 @@`
				`../.`