From a76f73ac3415733ecd264b602cea6534630c0447 Mon Sep 17 00:00:00 2001 From: Brian Date: Wed, 22 May 2024 16:09:48 +1000 Subject: [PATCH] Updated PR And Issue Tickets Maintenance (markdown) --- PR-And-Issue-Tickets-Maintenance.md | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/PR-And-Issue-Tickets-Maintenance.md b/PR-And-Issue-Tickets-Maintenance.md index 75eb429..ea39f65 100644 --- a/PR-And-Issue-Tickets-Maintenance.md +++ b/PR-And-Issue-Tickets-Maintenance.md @@ -25,6 +25,6 @@ #### Using CI Status Filtes 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 here](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 +* `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