Skip to content

Conversation

@filipeom
Copy link
Member

This is required because GITHUB_TOKEN does not trigger github actions to run. Which in turn, makes the PR unmergable by people that are not repository owners.

This is required because `GITHUB_TOKEN` does not trigger github actions
to run. Which in turn, makes the PR unmergable by people that are not
repository owners.
@filipeom filipeom requested a review from a team as a code owner December 29, 2025 10:25
@filipeom filipeom merged commit c144197 into main Dec 29, 2025
@filipeom filipeom deleted the filipe/update-release-token branch December 29, 2025 10:25
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.

2 participants