Adrian Dvergsdal e8a5d67e43 Using git sha tags does not make much sense ... If you pin to one sha, you won't get security updates after new commits are made		2020-07-19 23:01:41 +02:00
..
public-keys	Use atmoz/git-verify-ref	2020-07-18 15:44:46 +02:00
workflows	Using git sha tags does not make much sense	2020-07-19 23:01:41 +02:00