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

Switch action push trigger from allow-list to ignore-list #4384

Open
wants to merge 1 commit into
base: master
Choose a base branch
from

Conversation

graydon
Copy link
Contributor

@graydon graydon commented Jul 11, 2024

PR #4375 limited the github action to run on pushes to specific branches, so as to avoid the double-execution of CI on merge-queue activity (it was triggering on both the merge_group event and the merge queue's push to a throwaway gh-readonly-queue/... branch). Of course we also still trigger on the pull_request event which fires on any change to a PR.

This was a bit too strict. @dmkozh noted that he often likes to push to a branch on his own fork just to get some CI before opening a PR. So my proposed change here switches from an explicit list of branches to trigger the push event to an explicit pattern of branches to not trigger the push event.

(Probably this should wait until the release is done, since if I made a mistake it might disrupt normal operations while figuring it out, @marta-lokhova and/or @SirTyson could you make a note here / merge this PR when you're done?)

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