.gitconfig: alias.pr give more appropriate ref name

Give a more appropriate ref name for pr refs that get pulled in
alanxz · Jun 24, 2013 · 6946f6e · 6946f6e
1 parent 8596214
commit 6946f6e
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.gitconfig b/.gitconfig
@@ -15,4 +15,4 @@
 	assume = update-index --assume-unchanged
 	unassume = update-index --no-assume-unchanged
 	assumed = "!git ls-files -v | grep ^h | cut -c 3-"
-	pr = "!f() { git fetch origin refs/pull/$1/head:pr/$1; } ; f"
+	pr = "!f() { git fetch origin refs/pull/$1/head:remotes/origin/pr/$1; } ; f"