Jussi Kukkonen e073fea819 github: explicitly set workflow permissions ... * current workflow only needs to read git content * if the workflow in the future does need write access, it's good to see permissions explicitly changing For context: "pull_request" runs never have write access anyway, so this significantly changes only the "push" runs that happen when branches are merged to develop. Signed-off-by: Jussi Kukkonen <jkukkonen@vmware.com>		2021-11-04 11:39:05 +02:00
..
ci.yml	github: explicitly set workflow permissions	2021-11-04 11:39:05 +02:00