Skip to content

GHA: use GitHub app for branch protection override#40

Merged
pdiakumis merged 2 commits intodevfrom
gha-app
Mar 24, 2026
Merged

GHA: use GitHub app for branch protection override#40
pdiakumis merged 2 commits intodevfrom
gha-app

Conversation

@pdiakumis
Copy link
Copy Markdown
Collaborator

Also simplifying main/dev checkout for pkgdown job.

@pdiakumis pdiakumis self-assigned this Mar 24, 2026
@pdiakumis pdiakumis merged commit ee3a3fe into dev Mar 24, 2026
1 check passed
@pdiakumis pdiakumis deleted the gha-app branch March 24, 2026 12:23
@pdiakumis pdiakumis changed the title GitHub Actions: use GitHub app for branch protection override GHA: use GitHub app for branch protection override Mar 25, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant