Skip to content

Comments

Use GitHub app for PR authentication#19

Merged
Kobzol merged 1 commit intomainfrom
ci-gh-app
Jul 29, 2025
Merged

Use GitHub app for PR authentication#19
Kobzol merged 1 commit intomainfrom
ci-gh-app

Conversation

@Kobzol
Copy link
Member

@Kobzol Kobzol commented Jul 29, 2025

Thanks to Pietro for setting this up!

@Kobzol Kobzol enabled auto-merge July 29, 2025 08:02
@Kobzol Kobzol merged commit 5a8fe26 into main Jul 29, 2025
1 check passed
@Kobzol Kobzol deleted the ci-gh-app branch July 29, 2025 08:02
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