Skip to content

Conversation

@nicksnyder
Copy link
Contributor

@nicksnyder nicksnyder commented Jul 6, 2022

Changes

  • Grant write permissions on pull requests for the default GITHUB_TOKEN provided to this GitHub action
  • pull_request_target is necessary for tokens in forks to be able to have write permissions
  • Explicit error message when GITHUB_TOKEN is missing
  • Add docs when personal access token is necessary

Related to #19 (comment)

@nicksnyder nicksnyder merged commit 91db0f0 into main Jul 6, 2022
@nicksnyder nicksnyder deleted the authdocs branch July 6, 2022 14:59
rschlussel added a commit to rschlussel/presto that referenced this pull request Aug 9, 2023
rschlussel added a commit to prestodb/presto that referenced this pull request Aug 9, 2023
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