Merge pull request #5617 from gitbutlerapp/fix-reopen-merged

Do not show "reopen pr" button if merged
gitbutlerapp · Nov 19, 2024 · 42b855f · 42b855f
2 parents 757f95a + 15d3ea7
commit 42b855f
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/apps/desktop/src/lib/pr/PullRequestCard.svelte b/apps/desktop/src/lib/pr/PullRequestCard.svelte
@@ -306,7 +306,7 @@
 						}
 					}}
 				/>
-			{:else}
+			{:else if !pr.merged}
 				<Button
 					style="ghost"
 					outline