-
Notifications
You must be signed in to change notification settings - Fork 211
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
chore: Updating label docs workflow #1338
Conversation
Quick update, as this workflow is apparently only triggered by humans and ignored by github_bot. This commit attempts to fix this
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Quick update, as this workflow is apparently only triggered by humans and ignored by github_bot. This commit attempts to fix this
You need to use a token that isn't GITHUB_TOKEN to solve this. Please revert the event change and change the token instead.
hey @phated it seems like the token being used here is DOCS_REPO_TOKEN and not GITHUB_TOKEN... I guess we're probably looking at different places? |
@signorecello we cannot use secrets in a workflow that is on the pull_request event. Those can be exfiltrated by any user that wants to send a PR and curl it off somewhere. You'll need to find a different solution. |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Couple things I saw
Quick update, as this workflow is apparently only triggered by humans and ignored by github_bot. This commit attempts to fix this
Description
Summary of changes
Adds another trigger "pull_request", as apparently "pull_request_target" is excluding github_bot. Pull request is usually labeled by github_bot, making the counterpart issues in the docs not being created
Documentation needs