Skip to content

🌱 Don't run make targets for pr-lint on pull_request_target#232

Open
jklare wants to merge 1 commit into
mainfrom
jk-pr-lint-on-pull-request
Open

🌱 Don't run make targets for pr-lint on pull_request_target#232
jklare wants to merge 1 commit into
mainfrom
jk-pr-lint-on-pull-request

Conversation

@jklare

@jklare jklare commented Jul 13, 2026

Copy link
Copy Markdown

@jklare jklare force-pushed the jk-pr-lint-on-pull-request branch 3 times, most recently from 71acdbb to 417073f Compare July 13, 2026 07:51
* although the rule `if: github.event_name != 'pull_request_target'`
  makes sure to not run the pr-lint steps on pull_request_target, we
  should not use this event trigger, but actually use `pull_request`
  instead
* https://docs.github.com/en/actions/reference/security/securely-using-pull_request_target

Signed-off-by: Jan Klare <klare@osism.tech>
@jklare jklare force-pushed the jk-pr-lint-on-pull-request branch from 417073f to 7f8edfe Compare July 13, 2026 07:53
@jklare jklare changed the title ci: do not run make targets for pr-lint on pull_request_target 🌱 Don't run make targets for pr-lint on pull_request_target Jul 13, 2026
@jklare jklare marked this pull request as ready for review July 13, 2026 07:54
@jklare jklare requested a review from garloff July 13, 2026 07:58
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.

1 participant