Updated PR And Issue Tickets Maintenance (markdown)

Brian 2024-05-22 16:08:34 +10:00
parent 8a2f60f7f3
commit bf70c04be4

@ -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) * [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 - 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