Skip to content

Avoid GITHUB_TOKEN for PR approval#255

Merged
xopham merged 1 commit intomainfrom
christoph.hamsen/avoid-github-token-for-pr-approval
Aug 1, 2025
Merged

Avoid GITHUB_TOKEN for PR approval#255
xopham merged 1 commit intomainfrom
christoph.hamsen/avoid-github-token-for-pr-approval

Commits

Commits on Aug 1, 2025