Fix fetching same PR twice under wrong name

This commit is contained in:
Matthias Wientapper
2026-01-26 11:09:03 +01:00
parent e6cab77670
commit 58decb74b8

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