From 4180357d4d1e270176476225d8868c297babc4e8 Mon Sep 17 00:00:00 2001 From: Eli Schleifer <1265982+EliSchleifer@users.noreply.github.com> Date: Wed, 3 Apr 2024 15:46:52 -0700 Subject: [PATCH] get deeper list of PRs (#7986) Co-authored-by: trunk bot --- src/main.rs | 13 +++++++++++-- 1 file changed, 11 insertions(+), 2 deletions(-) diff --git a/src/main.rs b/src/main.rs index 207ab1eddbb9..6833382040ee 100644 --- a/src/main.rs +++ b/src/main.rs @@ -35,7 +35,13 @@ fn get_txt_files() -> std::io::Result> { fn housekeeping(config: &Conf) { for _ in 0..3 { - let json_str = gh(&["pr", "list", "--json", "number,mergeable,comments"]); + let json_str = gh(&[ + "pr", + "list", + "--limit=1000", + "--json", + "number,mergeable,comments", + ]); let v: Value = serde_json::from_str(&json_str).expect("Failed to parse JSON"); let mut has_unknown = false; @@ -55,7 +61,10 @@ fn housekeeping(config: &Conf) { } "MERGEABLE" => { if !requeued.contains(&pr) - && comments.contains("removed from the merge queue") + && (comments.contains("removed from the merge queue") + || comments.contains( + "To merge this pull request, check the box to the left", + )) { enqueue(&pr, config); println!("requeued pr: {}", &pr);