Skip to content

ci: set pr permissions#14

Closed
TimoGlastra wants to merge 1 commit intomainfrom ci/pr-permissions

Commits

Commits on Jan 9, 2025