Fix fetching same PR twice under wrong name

This commit is contained in:
Matthias Wientapper
2026-02-15 11:48:14 +01:00
parent c477ccb8c0
commit 0d528f71dd
+1 -1
View File
@@ -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