retry: count a /time retry posted in the same second as the last beat
Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_01UpT7eWzeLhRwuYmsSQnbRb
This commit is contained in:
1 parent
adae855675
commit
3c44c60554
1 file changed
+2
-2
@@ -518,8 +518,8 @@ def beats_of(comments: list[dict]) -> list[dict]:
|
||||
|
||||
|
||||
def retry_requested(comments: list[dict], since: str) -> bool:
|
||||
return any(c["created_at"] > since and c["user"].get("type") != "Bot" and "/time retry" in (c.get("body") or "")
|
||||
for c in comments)
|
||||
return any(c["created_at"] >= since and c["user"].get("type") != "Bot" and "/time retry" in (c.get("body") or "")
|
||||
for c in comments) # >=: a retry typed in the same second as the beat still counts
|
||||
|
||||
|
||||
def linked_prs(prs: list[dict], n: int) -> list[dict]:
|
||||
|
||||
Reference in new issue
Block a user