Skip to content

Add GH_MERGE_TOKEN back to checkout step#1151

Merged
willum070 merged 1 commit intomainfrom
fix-dist-pr-please
Feb 26, 2026
Merged

Add GH_MERGE_TOKEN back to checkout step#1151
willum070 merged 1 commit intomainfrom
fix-dist-pr-please

Conversation

@willum070
Copy link
Collaborator

Add merge token to GitHub Actions workflow for checkout.

Add merge token to GitHub Actions workflow for checkout.
@willum070 willum070 requested a review from a team as a code owner February 26, 2026 18:34
@willum070 willum070 merged commit 7b6353f into main Feb 26, 2026
7 checks passed
@willum070 willum070 deleted the fix-dist-pr-please branch February 26, 2026 18:34
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