mirror of
https://github.com/github/codeql.git
synced 2026-01-04 18:20:18 +01:00
Remove pull_request from context event map so that accesss to github.event.pull_request are not considered a source for pull_request triggers
This commit is contained in:
@@ -17,10 +17,6 @@ extensions:
|
||||
- ["issue_comment", "github.event.changes"]
|
||||
- ["gollum", "github.event.pages"]
|
||||
- ["gollum", "github.event.changes"]
|
||||
- ["merge_group", "github.event.merge_group"]
|
||||
- ["pull_request", "github.event.pull_request"]
|
||||
- ["pull_request", "github.head_ref"]
|
||||
- ["pull_request", "github.event.changes"]
|
||||
- ["pull_request_comment", "github.event.comment"]
|
||||
- ["pull_request_comment", "github.event.pull_request"]
|
||||
- ["pull_request_comment", "github.head_ref"]
|
||||
|
||||
@@ -9,7 +9,6 @@ extensions:
|
||||
- ["watch"]
|
||||
- ["issue_comment"]
|
||||
- ["issues"]
|
||||
- ["pull_request"] # non-privileged
|
||||
- ["pull_request_comment"]
|
||||
- ["pull_request_review"]
|
||||
- ["pull_request_review_comment"]
|
||||
|
||||
Reference in New Issue
Block a user