From 284bca22df411fbd4255530c3f98adc4cf2c1b46 Mon Sep 17 00:00:00 2001
From: Jakob Odersky <jakob@odersky.com>
Date: Mon, 15 Feb 2016 22:31:16 -0800
Subject: Modify branch name for git pr

---
 home/.gitconfig | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'home/.gitconfig')

diff --git a/home/.gitconfig b/home/.gitconfig
index 4c0ab90..5e1a633 100644
--- a/home/.gitconfig
+++ b/home/.gitconfig
@@ -7,6 +7,6 @@
 	s = status
 	hist = log --pretty=format:\"%h %ad | %s%d [%an]\" --graph --date=short
 	lg = log --oneline --decorate --all --graph
-	pr = "!f() { git fetch ${2:-upstream} pull/$1/head:pr-$1 && git checkout pr-$1; }; f"
+	pr = "!f() { git fetch ${2:-upstream} pull/$1/head:pr/$1 && git checkout pr/$1; }; f"
 [push]
 	default = simple
-- 
cgit v1.2.3