From 58decb74b84ce8fe85427028a9d96616bd2abe8b Mon Sep 17 00:00:00 2001 From: Matthias Wientapper Date: Mon, 26 Jan 2026 11:09:03 +0100 Subject: [PATCH] Fix fetching same PR twice under wrong name --- fetch_prs.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/fetch_prs.sh b/fetch_prs.sh index 8a9f5dc3..6a70f43f 100755 --- a/fetch_prs.sh +++ b/fetch_prs.sh @@ -6,5 +6,5 @@ git branch -D pr-1338 # fetch PRs git fetch upstream pull/1338/head:pr-1338 -git fetch upstream pull/1338/head:pr-1297 +git fetch upstream pull/1297/head:pr-1297 git fetch upstream pull/1199/head:pr-1199