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

ci(mergify): consolidate queue_conditions #13

Merged
merged 1 commit into from
Jun 14, 2024

Conversation

michaelfig
Copy link
Member

Proper separation of queue_conditions and merge_conditions.

@michaelfig michaelfig added the bypass:automerge Allow manually merging a PR label Jun 14, 2024
@michaelfig michaelfig self-assigned this Jun 14, 2024
@michaelfig michaelfig merged commit 4c86871 into Agoric:main Jun 14, 2024
12 checks passed
michaelfig added a commit to Agoric/agoric-sdk that referenced this pull request Jun 14, 2024
`queue_conditions` prevent a PR from entering the merge queue. What we
really want is `merge_conditions`, which allows PRs to embark on the
merge train while integration tests are still running, and only actually
merge when the tests are successful.

Also, we can use `queue_conditions` to consolidate and clean up the
condition logic in our `pull_request_rules`.

https://docs.mergify.com/merge-queue/setup/#configuring-the-merge-queue-rules

Tested successfully in Agoric/mergify-experiements#13
mhofman pushed a commit to Agoric/agoric-sdk that referenced this pull request Jun 20, 2024
`queue_conditions` prevent a PR from entering the merge queue. What we
really want is `merge_conditions`, which allows PRs to embark on the
merge train while integration tests are still running, and only actually
merge when the tests are successful.

Also, we can use `queue_conditions` to consolidate and clean up the
condition logic in our `pull_request_rules`.

https://docs.mergify.com/merge-queue/setup/#configuring-the-merge-queue-rules

Tested successfully in Agoric/mergify-experiements#13
mhofman pushed a commit to Agoric/agoric-sdk that referenced this pull request Jun 22, 2024
`queue_conditions` prevent a PR from entering the merge queue. What we
really want is `merge_conditions`, which allows PRs to embark on the
merge train while integration tests are still running, and only actually
merge when the tests are successful.

Also, we can use `queue_conditions` to consolidate and clean up the
condition logic in our `pull_request_rules`.

https://docs.mergify.com/merge-queue/setup/#configuring-the-merge-queue-rules

Tested successfully in Agoric/mergify-experiements#13
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
bypass:automerge Allow manually merging a PR
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant