Skip to content

Give explicit permissions to Github actions#286

Merged
graebm merged 1 commit intomainfrom actions-permissionsJun 2, 2022

Commits

Commits on Jun 2, 2022