- {/* The top row's geometry never changes: both of its states occupy the same stacked - cell and crossfade, so the actions on the right have one home whatever the chrome - is doing below. The fold and this fade share one 200ms clock. */}

- {/* The fixed height lives on the two top-row cells — not the grid, whose later rows - are the fold — so the actions have one immovable home in both states. */} -

{detail && statePresentation ? ( <> {detail.repository}} + onClick={() => void readLocalApi()?.shell.openExternal(repositoryUrl)} + className="min-w-0 cursor-pointer truncate text-left font-medium text-muted-foreground underline-offset-2 hover:text-foreground hover:underline" + > + {detail.repository} + + ) : ( + + {detail.repository} + + ) + } /> + - {detail.repository} + {repositoryUrl ? `Open ${detail.repository} repository` : detail.repository} + {detail && statePresentation ? ( @@ -1194,29 +1211,103 @@ /> {detail.title} - {conflicting ? ( - - - Conflicts - - ) : checksSummary ? ( - - {detail && checksState !== null ? ( - - ) : null} - {checksSummary} - - ) : null} ) : null}

{detail ? ( <> + {/* Checking a pull request out is the reason to open one here at all, so it is a + button of its own rather than a side effect of asking an agent for something. + It asks where, because the two answers are not interchangeable: one leaves your + work where it is, the other moves the repository you are standing in. Only on + the page: beside a thread the branch is already checked out right there. */} + {context === "page" ? ( + + + + {handoff?.startsWith("checkout") ? "Checking out..." : "Check out"} + + + } + /> + + startCheckout("worktree")}> + + + In a separate worktree + + Its own folder and thread. Nothing you have open moves. + + + + startCheckout("local")}> + + + In this repository + + Switches the branch you are working in, like `gh pr checkout`. + + + + {pickableEnvironments.length > 0 ? ( + setActingScope({ pullRequestKey, environmentId: next })} + disabled={handoff !== null} + /> + ) : null} + + + ) : null} + {/* Said where the Merge button is, because it is the answer to why nobody has + pressed it: the merge is already asked for, and the host is holding it. */} + {autoMergeArmed ? ( + + + + Auto-merge + + } + /> + + The host will merge this on its own once its requirements are met + + + ) : null} + {primaryAction === "resolve" ? ( + + ) : primaryAction === "ready" ? ( + + ) : primaryAction === "merge" ? ( + + ) : null} Copy link - {/* Only where the button row could not take it, so it is never offered twice. */} - {conflicting && primaryAction !== "resolve" ? ( - - - {handoff === "conflicts" ? "Preparing..." : handoffLabels.resolveConflicts} - - ) : null} {detail.state === "open" && can("close") ? ( <> @@ -1391,92 +1475,6 @@ ) : null} - {/* Checking a pull request out is the reason to open one here at all, so it is a - button of its own rather than a side effect of asking an agent for something. - It asks where, because the two answers are not interchangeable: one leaves your - work where it is, the other moves the repository you are standing in. Only on - the page: beside a thread the branch is already checked out right there. */} - {context === "page" ? ( - - - {handoff?.startsWith("checkout") ? ( - "Checking out..." - ) : ( - <> - - Check out - - - )} - - } - /> - - startCheckout("worktree")}> - - - In a separate worktree - - Its own folder and thread. Nothing you have open moves. - - - - startCheckout("local")}> - - - In this repository - - Switches the branch you are working in, like `gh pr checkout`. - - - - {pickableEnvironments.length > 0 ? ( - setActingScope({ pullRequestKey, environmentId: next })} - disabled={handoff !== null} - /> - ) : null} - - - ) : null} - {/* Said where the Merge button is, because it is the answer to why nobody has - pressed it: the merge is already asked for, and the host is holding it. */} - {autoMergeArmed ? ( - - - - Auto-merge - - } - /> - - The host will merge this on its own once its requirements are met - - - ) : null} - {primaryAction === "ready" ? ( - - ) : primaryAction === "merge" ? ( - - ) : null} ) : null} {onClose ? ( @@ -1491,14 +1489,9 @@ ) : null}

- {/* The condensed chrome's second row: the tabs that the closing fold takes with it, - and compact copies of the branch pair and diff stat so they stay in sight while - the full rows are folded away. Same zero-track mechanism as the fold, inverted. */}

{detail ? ( +

+ + + + } + > + + + {detail.author?.login ?? "ghost"} + + {formatRelativeTimeLabel(detail.updatedAt)} + + + + + + {isStackedPullRequest ? ( + + ) : null} + {detail.baseBranch} + + } + /> + + {isStackedPullRequest + ? `Stacked on ${detail.baseBranch}` + : detail.baseBranch} + + + {freshness ? ( + void perform("update-branch", undefined, method)} -

- {visibleTabs.map((item) => ( - + + {detail.changedFiles.toLocaleString()} + + - - - }> - {detail.baseBranch} - - {`${detail.baseBranch} ← ${detail.headBranch}`} - - {freshness ? ( - void perform("update-branch", undefined, method)} - iconClassName="size-3" /> - ) : null} - - - }> - {detail.headBranch} - - {`${detail.baseBranch} ← ${detail.headBranch}`} - - - - - - {detail.changedFiles.toLocaleString()} - - deletions={detail.deletions} - className="shrink-0 font-mono text-[11px]" - /> -

) : null}

- {/* Folding is a grid track going to zero: the rows below stay mounted, the track - animates closed over them, and `inert` takes the hidden controls out of the tab - order for as long as the chrome is condensed. */}

{detail ? ( +

{titleDraft === null ? (

@@ -1671,60 +1680,75 @@
+ + + - - {detail.baseBranch} - - } - /> - {detail.baseBranch} - - {freshness ? ( - + {isStackedPullRequest ? ( + - freshness={freshness} - pending={actionPending} - onUpdate={(method) => void perform("update-branch", undefined, method)} + ) : null} + `{detail.baseBranch}` + + } + /> + + {isStackedPullRequest + ? `Stacked on ${detail.baseBranch}` + : detail.baseBranch} + + + {freshness ? ( + void perform("update-branch", undefined, method)} + /> + ) : null} + - ) : null} - - - + copyBranchToClipboard(detail.headBranch)} + /> + } - isBranchCopied ? "Branch name copied" : "Copy pull request branch" - } - onClick={() => copyBranchToClipboard(detail.headBranch)} - /> - } - > - `+ + {detail.headBranch} + + - + Copied + +`+ + {`${isBranchCopied ? "Copied" : "Copy pull request branch"}: ${detail.headBranch}`} + ++ - "col-start-1 row-start-1 truncate text-center transition-opacity duration-150 motion-reduce:transition-none", - isBranchCopied ? "opacity-100" : "opacity-0", - )} - > - Copied - - - - {`${isBranchCopied ? "Copied" : "Copy pull request branch"}: ${detail.headBranch}`} - - @@ -1740,165 +1764,130 @@


             ) : null}
-
-            {detail && conflicting ? (
-              
-                
-                  
-                  Merge conflicts
-                
-                
+


-                  {handoff === "conflicts" ? "Preparing..." : handoffLabels.resolve}
-                  
-                
-


-            ) : null}
 
-            {detail ? (
-              
+             {
+                const nextTab = visibleTabs.find((item) => item.value === next[0])?.value;
+                if (nextTab) setTab(nextTab);
+              }}
+            >
+              {visibleTabs.map((item) => (
+                
+                  {item.label}
+                
+              ))}
+            
+            {tab === "summary" ? (
+              
+                {checksState !== null ? (
+                  
+                ) : (
+                  
+                )}
+                {checksSummary}
+              
+            ) : tab === "timeline" ? (
+              
+                
+                   (
-                  
-                ))}
+                  
-                {tab === "summary" ? (
                   
+                    
+                    {activityError
-                    {/* The rollup icon opens the checks behind the summary; with none reported
+                      ? "—"
-                        there is nothing to open, so the plain glyph stays. */}
-                    {detail && checksState !== null ? (
-                      
-                    ) : (
-                      
-                    )}
-                    {checksSummary}
+                      : activityPending
+                        ? "…"
+                        : detail.commits.length.toLocaleString()}
                   
+                  {approvalCount > 0 ? (
-                ) : tab === "timeline" ? (
+                    
-                    
-                      
-                        
-                        {activityError
-                          ? "—"
-                          : activityPending
+                      
+                      {approvalCount.toLocaleString()}
+                      
+                        {approvalCount === 1 ? "approval" : "approvals"}
-                            ? "…"
-                            : detail.commentCount.toLocaleString()}
                       
+                    
+                  ) : null}
+                
+                
-                        className="inline-flex items-center gap-1"
-                        aria-label={
-                          activityError
-                            ? "Commits unavailable"
-                            : `${detail.commits.length.toLocaleString()} ${
-                                detail.commits.length === 1 ? "commit" : "commits"
-                              }`
-                        }
-                      >
-                        
-                        {activityError
-                          ? "—"
-                          : activityPending
-                            ? "…"
-                            : detail.commits.length.toLocaleString()}
-                      
-                      {/* Only once somebody has approved: a nought beside a tick would read as a
-                          verdict of its own on a change nobody has looked at yet. */}
-                      {approvalCount > 0 ? (
-                        
-                          
-                          {approvalCount.toLocaleString()}
-                          {/* The icon is decorative and a name written onto a generic span is
-                              not announced, so the bare number says what it counts in words. */}
-                          
-                            {approvalCount === 1 ? "approval" : "approvals"}
-                          
-                        
-                      ) : null}
-                    
-                    
-


-                ) : null}
-              
             ) : null}
+          
+        ) : null}
-


 
        {
-          if (chromeVariant !== "collapse") return;
           const scroller = event.target as HTMLElement;
           scrollerRef.current = scroller;
           const top = scroller.scrollTop;
           setChromeCondensed((previous) => {
             let next = previous;
-            // `scrollHeight` reads the fold's natural height whichever state the track is in.
             const foldHeight = foldRef.current?.scrollHeight ?? 0;
-            // The chrome trades the fold for the condensed second row, so the height the
-            // scrollport actually gains is the difference between the two.
+            // The condensed row remains mounted, so refund only the height that actually leaves.
             const chromeDelta = foldHeight - (condensedRowRef.current?.scrollHeight ?? 0);
             if (previous) {
               // The hard top reopens the chrome with no refund: the reader asked for the top,
@@ -1916,17 +1905,7 @@
           });
         }}
       >
-        {detailQuery.isPending && !detail ? (
-          // The ghost wears the shape of the tab being waited on, so switching tabs mid-load
+        {detailQuery.error && !detail ? (
-          // does not flash a summary outline under a timeline heading.
-          tab === "timeline" ? (
-            
-          ) : tab === "code" ? (
-            
-          ) : (
-            
-          )
-        ) : detailQuery.error && !detail ? (
           
         ) : detail ? (
           <>
```

## apps/web/src/components/pullRequest/PullRequestGhosts.tsx

Status: modified; +91; −24

```diff
@@ -45,13 +45,11 @@
           
           
             
-            
+            
           
           
             
-            
+            
           
         
       ))}
@@ -59,32 +57,101 @@
   );
 }
 
+/**
+ * The detail panel's current expanded shape. Keeping the chrome, summary facts, and description
-/** The summary's own shape: a title, a byline, the facts rows, the description. */
+ * boundaries in the ghost prevents the loaded pull request from replacing one layout with
+ * another a moment later.
+ */
 export function PullRequestDetailGhost() {
   return (
     
+      
+        
+          
+            
+            
-      
-        
-        
+          
+          
+            
+            
+          
+        
+
+        
+          
+          
+            
+            
+          
+          
+            
+            
+            
+            
+              
+              
+            
+          
+        
+
+        
+          
+            
+            
+            
+          
+          
+        
       
+
+      
+        
+          
+            
+              
+              
+            
+            
+              
+              
+              
+            
+          
+          
+            
+              
+              
+            
+            
+              
+              
+            
+          
+          
+            
+              
+              
+            
+            
+          
+        
+
-      
+        
+          
+            
-        {Array.from({ length: 4 }, (_, index) => (
-          
             
-            
-            
           
-        ))}
-      
-      
-        
-        
-        
+          
+            
+            
+            
+            
+          
-        
+        
       
     
   );
@@ -113,7 +180,7 @@
           
             
             
-            
+            
           
         ))}
       
@@ -134,8 +201,8 @@
           
           
             
+            
-            
+            
-            
           
         
       ))}
```

## apps/web/src/components/pullRequest/PullRequestListFilters.tsx

Status: modified; +9; −6

```diff
@@ -25,6 +25,7 @@
 import { getSourceControlPresentationForKind } from "~/sourceControlPresentation";
 import { ProjectFavicon } from "../ProjectFavicon";
 import { InputGroup, InputGroupAddon, InputGroupInput } from "../ui/input-group";
+import { Button } from "../ui/button";
 
 import {
   Menu,
@@ -273,12 +274,14 @@
   return (
     
       
-        className={cn(
-          // The icon-button size that pairs with a full-height input, so the two read as one strip.
-          "relative inline-flex size-9 shrink-0 items-center justify-center rounded-lg border border-input text-muted-foreground transition-colors hover:bg-accent/50 hover:text-foreground sm:size-8",
+        }
-          filtered && "text-foreground",
-        )}
-        aria-label="Filter pull requests"
       >
         
         {filtered ? (
```

## apps/web/src/components/pullRequest/PullRequestSummaryTab.tsx

Status: modified; +3; −3

```diff
@@ -220,12 +220,12 @@
   children: ReactNode;
 }) {
   return (
-    
+    
-      
+      
         {icon}
         {label}
       
+      {children}
-      {children}
     
   );
 }
```

## apps/web/src/components/pullRequest/pullRequestDetail.logic.test.ts

Status: modified; +42; −4

```diff
@@ -17,6 +17,7 @@
   handoffPrompt,
   handoffReviewComments,
   isPullRequestVerdictStale,
+  isStackedPullRequestBase,
   isThreadOwnPullRequest,
   latestPullRequestReviewOutcomes,
   newestPullRequestCommitAt,
@@ -142,8 +143,6 @@
       fixFinding: "Fix in this thread",
       fixCheck: "Fix in this thread",
       fixFindings: "Fix findings in this thread",
-      resolve: "Resolve in this thread",
-      resolveConflicts: "Resolve conflicts in this thread",
     });
   });
 
@@ -152,8 +151,6 @@
       fixFinding: "Fix in a thread",
       fixCheck: "Fix",
       fixFindings: "Fix findings in a thread",
-      resolve: "Resolve in a new thread",
-      resolveConflicts: "Resolve conflicts in a thread",
     });
   });
 });
@@ -167,6 +164,47 @@
   });
 });
 
+describe("stacked pull request classification", () => {
+  it("requires a known default branch", () => {
+    expect(isStackedPullRequestBase("main", [{ name: "main", isDefault: false }])).toBe(false);
+  });
+
+  it("recognizes local and remote forms of the default branch", () => {
+    expect(
+      isStackedPullRequestBase("main", [{ name: "main", isDefault: true, isRemote: false }]),
+    ).toBe(false);
+    expect(
+      isStackedPullRequestBase("main", [
+        { name: "origin/main", isDefault: true, isRemote: true, remoteName: "origin" },
+      ]),
+    ).toBe(false);
+  });
+
+  it("classifies a non-default base as stacked once the default is known", () => {
+    expect(
+      isStackedPullRequestBase("feature-base", [
+        { name: "origin/main", isDefault: true, isRemote: true, remoteName: "origin" },
+      ]),
+    ).toBe(true);
+  });
+
+  it("does not mistake a nested branch suffix for the default branch", () => {
+    expect(
+      isStackedPullRequestBase("main", [
+        {
+          name: "origin/feature/main",
+          isDefault: true,
+          isRemote: true,
+          remoteName: "origin",
+        },
+      ]),
+    ).toBe(true);
+    expect(
+      isStackedPullRequestBase("1.0", [{ name: "release/1.0", isDefault: true, isRemote: false }]),
+    ).toBe(true);
+  });
+});
+
 describe("ordering comments", () => {
   it("reverses the chronological list for newest first, and leaves oldest first alone", () => {
     const comments = [{ createdAt: "a" }, { createdAt: "b" }, { createdAt: "c" }];
```

## apps/web/src/components/pullRequest/pullRequestDetail.logic.ts

Status: modified; +15; −4

```diff
@@ -11,6 +11,7 @@
   PullRequestReviewThread,
   PullRequestState,
   PullRequestUpdateMethod,
+  VcsRef,
 } from "@t3tools/contracts";
 
 import { inferReviewCommentFenceLanguage, type ReviewCommentContext } from "~/reviewCommentContext";
@@ -75,15 +76,11 @@
         fixFinding: "Fix in this thread",
         fixCheck: "Fix in this thread",
         fixFindings: "Fix findings in this thread",
-        resolve: "Resolve in this thread",
-        resolveConflicts: "Resolve conflicts in this thread",
       }
     : {
         fixFinding: "Fix in a thread",
         fixCheck: "Fix",
         fixFindings: "Fix findings in a thread",
-        resolve: "Resolve in a new thread",
-        resolveConflicts: "Resolve conflicts in a thread",
       };
 }
 
@@ -103,6 +100,20 @@
   return showsDraftToggle || showsAutoMerge || showsMergeMethods;
 }
 
+export function isStackedPullRequestBase(
+  baseBranch: string,
+  refs: ReadonlyArray>,
+): boolean {
+  const defaultRef = refs.find((refName) => refName.isDefault);
+  if (!defaultRef) return false;
+  if (defaultRef.isRemote !== true) return defaultRef.name !== baseBranch;
+  const remotePrefix = `${defaultRef.remoteName ?? defaultRef.name.split("/")[0]}/`;
+  const defaultBranch = defaultRef.name.startsWith(remotePrefix)
+    ? defaultRef.name.slice(remotePrefix.length)
+    : defaultRef.name;
+  return defaultBranch !== baseBranch;
+}
+
 /** Plain-language state, shown beside the author. Conflicts are a merge signal, not a state. */
 export function describePullRequestState(state: PullRequestState, isDraft: boolean): string {
   if (state === "merged") return "Merged";
```

## apps/web/src/lib/openPullRequestLink.test.ts

Status: modified; +19; −0

```diff
@@ -1,6 +1,7 @@
 import { describe, expect, it, vi } from "vite-plus/test";
 
 import {
+  changeRequestRepositoryUrl,
   findProjectForChangeRequest,
   openPullRequestLink,
   parseChangeRequestUrl,
@@ -8,6 +9,24 @@
   shouldOpenPullRequestExternally,
 } from "./openPullRequestLink";
 
+describe("changeRequestRepositoryUrl", () => {
+  it("preserves repository path casing", () => {
+    expect(
+      changeRequestRepositoryUrl(
+        "https://gitlab.example.test/Team/Platform/Repo/-/merge_requests/42/diffs#note_1",
+      ),
+    ).toBe("https://gitlab.example.test/Team/Platform/Repo");
+  });
+
+  it("keeps pull-like segments inside nested GitLab repository paths", () => {
+    expect(
+      changeRequestRepositoryUrl(
+        "https://gitlab.example.test/group/pull/123/repo/-/merge_requests/42",
+      ),
+    ).toBe("https://gitlab.example.test/group/pull/123/repo");
+  });
+});
+
 describe("openPullRequestLink", () => {
   it("opens the requested pull request URL", async () => {
     const openExternal = vi.fn(async () => undefined);
```

## apps/web/src/lib/openPullRequestLink.ts

Status: modified; +17; −0

```diff
@@ -118,6 +118,23 @@
   return null;
 }
 
+/** The repository root behind a recognised change-request URL, without PR-specific state. */
+export function changeRequestRepositoryUrl(targetUrl: string): string | null {
+  const changeRequest = parseChangeRequestUrl(targetUrl);
+  if (changeRequest === null) return null;
+  const url = new URL(targetUrl);
+  const repositoryPath =
+    /^(.*?)\/-\/merge_requests\/\d+(?:\/|$)/iu.exec(url.pathname)?.[1] ??
+    /^(.*?)(?:\/pull\/\d+|\/-\/merge_requests\/\d+|\/pull-requests\/\d+|\/pullrequest\/\d+)(?:\/|$)/iu.exec(
+      url.pathname,
+    )?.[1];
+  if (!repositoryPath) return null;
+  url.pathname = repositoryPath;
+  url.search = "";
+  url.hash = "";
+  return url.toString();
+}
+
 function claim(host: string, match: RegExpExecArray | null): ChangeRequestLink | null {
   const repository = match?.[1];
   const number = Number(match?.[2]);
```

## apps/web/src/routes/\_chat.pull-requests.tsx

Status: modified; +59; −48

```diff
@@ -74,6 +74,9 @@
   WorkspaceBreadcrumbItem,
   WorkspaceBreadcrumbSeparator,
 } from "../components/WorkspaceBreadcrumb";
+import { WorkspacePageContainer } from "../components/WorkspacePageContainer";
+import { WorkspacePageHeader } from "../components/WorkspacePageHeader";
+import { isElectron } from "../env";
 import { PanelLayoutControls } from "../components/chat/PanelLayoutControls";
 import { Button } from "../components/ui/button";
 import { Menu, MenuPopup, MenuRadioGroup, MenuRadioItem, MenuTrigger } from "../components/ui/menu";
@@ -100,7 +103,6 @@
 import { useAtomCommand } from "../state/use-atom-command";
 import { cn } from "~/lib/utils";
 import { getSourceControlPresentationForKind } from "~/sourceControlPresentation";
-import { COLLAPSED_SIDEBAR_TITLEBAR_INSET_CLASS } from "~/workspaceTitlebar";
 
 export interface PullRequestsSearch {
   readonly involvement: PullRequestInvolvement;
@@ -1181,6 +1183,7 @@
         : null,
     [search.number, search.repository, selectedProject],
   );
+  const rightPanelAvailable = selectedPullRequestSurface !== null;
   useEffect(() => {
     if (!pullRequestsSupported || rightPanelRef === null || linkedSelection === null) return;
     useRightPanelStore.getState().openPullRequest(rightPanelRef, linkedSelection);
@@ -1294,9 +1297,10 @@
       terminalAvailable={false}
       terminalOpen={false}
       terminalShortcutLabel={null}
+      rightPanelAvailable={rightPanelAvailable}
-      rightPanelAvailable={rightPanelState.surfaces.length > 0}
       rightPanelOpen={rightPanelState.isOpen}
       rightPanelShortcutLabel={null}
+      rightPanelUnavailableLabel="Select a pull request first"
       liveAgentCount={0}
       onToggleTerminal={() => undefined}
       onToggleRightPanel={toggleRightPanel}
@@ -1603,7 +1607,6 @@
                 reviewingQuery.refresh();
               }}
               onStateChange={handlePullRequestTabStatusChange}
-              chromeVariant="collapse"
             />
           
         ) : null}
@@ -1612,10 +1615,7 @@
   );
 }
 
-/**
+/** A compact stand-in for one pill group when the header is narrow. */
- * A compact stand-in for one pill group: the trigger wears the current choice, the choices
- * live in a menu. Same options, same handler — only the footprint changes.
- */
 function CompactFilterMenu({
   label,
   value,
@@ -1627,7 +1627,8 @@
   options: ReadonlyArray>;
   onChange: (value: Value) => void;
 }) {
-  const current = options.find((option) => option.value === value) ?? options[0]!;
+  const current = options.find((option) => option.value === value) ?? options[0];
+  if (!current) return null;
   return (
     
       
          onChange(next as Value)}>
           {options.map((option) => {
-            // A host the server has already said it cannot read is not a choice here either.
-            // The pills disable it; a menu that offers it would answer the press by replacing
-            // a working list with the same failure the pill row exists to explain.
             const item = (
               
                 
                   
@@ -1656,11 +1654,12 @@
                 
               
             );
-            if (!option.unavailable) return item;
-            return (
+            return option.unavailable === undefined ? (
+              item
+            ) : (
               
                 
-                
+                
                   {option.unavailable}
                 
               
@@ -1838,18 +1837,10 @@
     // Painted flat like the chat column: the inset underneath carries the chrome grain, and a
     // content surface that lets it show reads as a different background than every thread.
     
-      
-          // way Settings and the chat view do. While the panel is open the column
-          // ends at the panel's left edge and the absolute controls strip (already
-          // WCO-aware) owns the top-right corner.
-          !rightPanelOpen && "wco:pr-[var(--workspace-native-controls-inset)]",
-          COLLAPSED_SIDEBAR_TITLEBAR_INSET_CLASS,
-        )}
-      >
         {condensed ? (
           
             {/* The page name remains the foreground anchor in both states; the live filters are
@@ -1891,27 +1882,22 @@
         )}
         
         {condensed ? (
+          
+             {
+                topbarSearchFocusedRef.current = focused;
-           {
+              }}
+            />
+            
+          
-              topbarSearchFocusedRef.current = focused;
-            }}
-          />
         ) : null}
-        
         {rightPanelControl}
+      
-      
 
       
+        
           
             
               {searchInput}
               {filtersMenu}
+              {!condensed ? (
+                
+              ) : null}
             
             {/* Scrolled past this marker, the controls are gone and the title takes over. */}
             
           
 
           {listBody}
-        
+        
       
     
   );
 }
+
+function PullRequestRefreshControl({
+  compact = false,
+  refreshing,
+  onRefresh,
+}: {
+  compact?: boolean;
+  refreshing: boolean;
+  onRefresh: () => void;
+}) {
+  return (
+    
+  );
+}
```