Skip to content

add write permissions for GHA bot#288

Merged
pmeier merged 11 commits intomainfrom gha-bot-permissionsJan 22, 2024

Commits

Commits on Jan 22, 2024