chore(ci): push-ci updates #1786
Merged
Mergify / Summary
succeeded
Nov 20, 2023 in 4s
3 rules match and 3 potential rules
Rule: backport patches to cryostat-v2.4 branch (backport)
-
label=backport
-
base=main
-
merged
[:pushpin: backport requirement]
Rule: auto label PRs from reviewers (label)
-
author=@reviewers
Rule: dismiss stale reviews (dismiss_reviews)
-
base=main
Rule: block pull requests that manually update web-client submodule (review)
- any of:
-
files=web-client
-
files~=web-client/
-
Rule: request reviews from the reviewers team (request_reviews)
-
label=review-requested
Rule: remove review-requested label upon reviewing (label)
- any of:
-
#approved-reviews-by>0
-
#commented-reviews-by>0
-
#changes-requested-reviews-by>0
-
💖 Mergify is proud to provide this service for free to open source projects.
🚀 You can help us by becoming a sponsor!
Mergify commands and options
More conditions and actions can be found in the documentation.
You can also trigger Mergify actions by commenting on this pull request:
@Mergifyio refresh
will re-evaluate the rules@Mergifyio rebase
will rebase this PR on its base branch@Mergifyio update
will merge the base branch into this PR@Mergifyio backport <destination>
will backport this PR on<destination>
branch
Additionally, on Mergify dashboard you can:
- look at your merge queues
- generate the Mergify configuration with the config editor.
Finally, you can contact us on https://mergify.com
Loading