add write permissions for GHA bot#288
Merged
pmeier merged 11 commits intomainfrom gha-bot-permissionsJan 22, 2024
+7-1
Commits
Commits on Jan 22, 2024
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed