From 1c9a18a31c533e3b32315ab835e96d725c94dcf4 Mon Sep 17 00:00:00 2001
From: sev <git@sev.monster>
Date: Thu, 8 Oct 2020 14:04:47 -0500
Subject: [PATCH 1/1] add git pr alias for github pull request checkout

---
 base/.gitconfig | 1 +
 1 file changed, 1 insertion(+)

diff --git a/base/.gitconfig b/base/.gitconfig
index 91550b2..5ed2164 100644
--- 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
+	pr = "!f() { git fetch -fu ${2:-origin} refs/pull/$1/head:pr/$1 && git checkout pr/$1; }; f"
 [pull]
 	ff = only
-- 
2.47.0