add git pr alias for github pull request checkout

diff --git a/base/.gitconfig b/base/.gitconfig
index 91550b24b3beea92b18061e6188511e8555d18f8..5ed2164e109f1473df105298d4f4e1ee9f02f179 100644 (file)
--- a/base/.gitconfig
+++ b/base/.gitconfig
@@ -5,5 +5,6 @@
 [alias]
        push-all = !git remote | xargs -n1 git push
        submodules-pull = submodule foreach git pull origin master
 [alias]
        push-all = !git remote | xargs -n1 git push
        submodules-pull = submodule foreach git pull origin master

+       pr = "!f() { git fetch -fu ${2:-origin} refs/pull/$1/head:pr/$1 && git checkout pr/$1; }; f"

 [pull]
        ff = only
 [pull]
        ff = only