Markus Lehtonen e17a9e5982 github: specify workflow permissions ... Update gh-pages has started failing with default permissions. It needs write permissions to be able to push to the gh-pages branch.		2024-10-14 21:59:54 +03:00
..
ISSUE_TEMPLATE	github: update tagging instructions in release checklists	2023-12-22 10:00:13 +02:00
workflows	github: specify workflow permissions	2024-10-14 21:59:54 +03:00
dependabot.yml	Dependabot: Add proper dependabot config file	2024-04-29 16:00:37 +02:00