Updated PR And Issue Tickets Maintenance (markdown)

Brian 2024-05-22 16:09:48 +10:00
parent 5285a863a2
commit a76f73ac34

@ -25,6 +25,6 @@
#### Using CI Status Filtes #### 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)) 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:success` Only pull requests with all successful statuses
* status:failure Only pull requests that have statuses in the failure or error state * `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:pending` Only pull requests with no statuses or at least one status in the pending state