Skip to content
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

[#11383] Fix PR checking workflow permissions #12215

Merged
merged 1 commit into from
Mar 16, 2023

Conversation

zhaojj2209
Copy link
Contributor

@zhaojj2209 zhaojj2209 commented Mar 16, 2023

Part of #11383

The PR checking workflow is currently running into permissions issues. This is because Github provides read-only tokens to all forks for security reasons.

To fix this, the workflow trigger has been changed from pull_request to pull_request_target, so that the workflow is run on the target branch master where write permissions can be provided. Permissions have been limited to write permissions for PRs only for security reasons.

Note that this workflow will now only run after the changes are merged into master, hence testing of the workflow is not possible in this PR. I have opened a PR in my own fork to test this fix, at zhaojj2209#39.

In the future, if I have the capacity, I may expand this workflow to include other actions such as labelling PRs.

@zhaojj2209 zhaojj2209 added the s.ToReview The PR is waiting for review(s) label Mar 16, 2023
@zhaojj2209 zhaojj2209 added s.ToMerge The PR is approved by all reviewers including final reviewer; ready for merging and removed s.ToReview The PR is waiting for review(s) labels Mar 16, 2023
@zhaojj2209 zhaojj2209 merged commit ef0d572 into TEAMMATES:master Mar 16, 2023
@samuelfangjw samuelfangjw added this to the V8.25.0 milestone Mar 22, 2023
@samuelfangjw samuelfangjw added the c.DevOps Process-related or build-related improvement and addition label Mar 22, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
c.DevOps Process-related or build-related improvement and addition s.ToMerge The PR is approved by all reviewers including final reviewer; ready for merging
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants