Simone Basso 5371c7f486 fix(workflows): elevate GITHUB_TOKEN permissions when needed (#822) ... I am not 100% sure I was able to fix all the cases in which we need higher permissions than the strict default. At least, I tried. It may be reasonable to make an interim release to check whether I successfully fixed all the cases. Ref issue: https://github.com/ooni/probe/issues/2154		2022-07-01 12:11:32 +02:00
..
workflows	fix(workflows): elevate GITHUB_TOKEN permissions when needed (#822)	2022-07-01 12:11:32 +02:00