From bfbd90f452c142298ca4a138c59011fec61db4a0 Mon Sep 17 00:00:00 2001 From: Brian Date: Tue, 18 Jun 2024 22:21:28 +1000 Subject: [PATCH] Updated PR And Issue Tickets Maintenance (markdown) --- PR-And-Issue-Tickets-Maintenance.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/PR-And-Issue-Tickets-Maintenance.md b/PR-And-Issue-Tickets-Maintenance.md index 789a836..8c26541 100644 --- a/PR-And-Issue-Tickets-Maintenance.md +++ b/PR-And-Issue-Tickets-Maintenance.md @@ -13,10 +13,10 @@ ### PRs for those who want to merge -* [Merging Soon, Already Approved and CI Passed](https://github.com/ggerganov/llama.cpp/pulls?q=is%3Apr+is%3Aopen+review%3Aapproved+status%3Asuccess+label%3A%22merging+soon%22) +* [Merging Soon, Already Approved and CI Passed](https://github.com/ggerganov/llama.cpp/pulls?q=is%3Apr+is%3Aopen+review%3Aapproved+status%3Asuccess+label%3A%22merge+ready%22) - Useful to find any PRs overloooked and is already slated to be included very soon -* [Merging Soon, Already Approved](https://github.com/ggerganov/llama.cpp/pulls?q=is%3Apr+is%3Aopen+review%3Aapproved+label%3A%22merging+soon%22) +* [Merging Soon, Already Approved](https://github.com/ggerganov/llama.cpp/pulls?q=is%3Apr+is%3Aopen+review%3Aapproved+label%3A%22merge+ready%22) - Useful to find any PRs that is about to be merged but may be falling behind in CI * [Approved And CI Passed](https://github.com/ggerganov/llama.cpp/pulls?q=is%3Apr+is%3Aopen+review%3Aapproved+status%3Asuccess)