From 81e83c05b73bae8cce15979103a941dc51554864 Mon Sep 17 00:00:00 2001 From: Hongming Wang Date: Tue, 5 May 2026 11:56:54 -0700 Subject: [PATCH] fix(inbox): drop unused batch_fetcher = None after end-of-batch drain MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Lint nit from review bot — _drain_uploads() runs and the function immediately advances to the cursor save + return, so the local re-assign is dead code. Co-Authored-By: Claude Opus 4.7 (1M context) --- workspace/inbox.py | 1 - 1 file changed, 1 deletion(-) diff --git a/workspace/inbox.py b/workspace/inbox.py index 6c131175..cff95c6d 100644 --- a/workspace/inbox.py +++ b/workspace/inbox.py @@ -641,7 +641,6 @@ def _poll_once( # would race with the still-running fetches. if batch_fetcher is not None: _drain_uploads(batch_fetcher) - batch_fetcher = None if last_id is not None: state.save_cursor(last_id, cursor_key)