From 7dafe7665dfe0ed0da7d5c5012c5bfe32798aee2 Mon Sep 17 00:00:00 2001
From: Aaron Bieber <aaron@bolddaemon.com>
Date: Fri, 18 Feb 2022 15:46:20 -0700
Subject: [PATCH] fetch-pr

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

diff --git a/.gitconfig b/.gitconfig
index 8ee82f3..bd6d49a 100644
--- a/.gitconfig
+++ b/.gitconfig
@@ -8,6 +8,7 @@
 
 [alias]
 	log = log --color=never
+	fetch-pr = "!f() { git fetch $1 refs/pull/$2/head:refs/remotes/pr/$2; }; f"
 
 [push]
 	default = current