feat: stream newest pull requests by category

2026-10-14 14:08:21 +02:00
parent 5243de66fe
commit 0000089f42
8 changed files with 1465 additions and 377 deletions
@@ -2812,6 +2812,12 @@ impl Editor {
        if let Some(owner) = self.diff_owner.filter(|owner| *owner != self.pane_id) {
            return self.with_pane(owner, |editor| editor.apply_diff_result(id, result));
        }
+        if matches!(&result, Ok(Outcome::PullRequestPage { .. })) {
+            return self
+                .diff
+                .as_mut()
+                .is_some_and(|diff| diff.apply_result(id, result));
+        }
        self.outstanding_diff_request = None;
        if self.diff.as_ref().is_some_and(DiffState::refresh_pending)
            && !matches!(&result, Ok(Outcome::CheckoutRefresh(None)))