From bf70c04be4f827c050a7570d9b55c30ec666a7c3 Mon Sep 17 00:00:00 2001 From: Brian Date: Wed, 22 May 2024 16:08:34 +1000 Subject: [PATCH] Updated PR And Issue Tickets Maintenance (markdown) --- PR-And-Issue-Tickets-Maintenance.md | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/PR-And-Issue-Tickets-Maintenance.md b/PR-And-Issue-Tickets-Maintenance.md index 2724adc..7f56f1d 100644 --- a/PR-And-Issue-Tickets-Maintenance.md +++ b/PR-And-Issue-Tickets-Maintenance.md @@ -21,3 +21,9 @@ * [Approved And CI Not Passed](https://github.com/ggerganov/llama.cpp/pulls?q=is%3Apr+is%3Aopen+review%3Aapproved+status%3Afailed) - Useful to find any PRs that is already approved and may be suitable for final check before either merging immediately or add a merging soon label + + +Note: Here is how to use CI status filters https://github.blog/2015-06-02-filter-pull-requests-by-status/ (This was not documented in main github docs as noted in https://github.com/refined-github/refined-github/issues/1806) +* status:success Only pull requests with all successful statuses +* status:failure Only pull requests that have statuses in the failure or error state +* status:pending Only pull requests with no statuses or at least one status in the pending state