Skip to content

ci: give explicit PR permissions to GitHub token#141

Merged
GabrielNagy merged 1 commit intomainfrom create-pr-explicit-permissionsDec 12, 2023
+4

Commits

Commits on Dec 12, 2023