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