Skip to content

Remove pull_request trigger from the project-updater GHA.#94483

Merged
ezio-melotti merged 1 commit intomainfrom
project-updater-no-prs
Jul 1, 2022
Merged

Remove pull_request trigger from the project-updater GHA.#94483
ezio-melotti merged 1 commit intomainfrom
project-updater-no-prs

Conversation

@ezio-melotti
Copy link
Member

This is a follow-up of #94447 that removes the check for pull_requests, for the reasons stated in #94447 (comment).

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

skip issue skip news type-feature A feature request or enhancement

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants