From 33defae27b862650a3cc98d847414c98b26243f8 Mon Sep 17 00:00:00 2001
From: Jesse Luehrs <doy@tozt.net>
Date: Sun, 28 Feb 2021 00:29:22 -0500
Subject: add git command to pull a github pr

---
 config/git/config | 1 +
 1 file changed, 1 insertion(+)

(limited to 'config')

diff --git a/config/git/config b/config/git/config
index 30584de..0d3a10e 100644
--- a/config/git/config
+++ b/config/git/config
@@ -23,6 +23,7 @@
 	info = remote show -n origin
 	lg = log --graph --pretty=format:'%Cred%h%Creset%C(yellow)%d%Creset %C(bold blue)%aN%Creset %C(magenta)(%ar)%Creset%n%s%n' --abbrev-commit --date=relative --stat=72
 	m = "!f() { git co master && git pull && EDITOR=true git merge --no-ff \"$@\" && git bda; }; f"
+	pr = !~/.bin/git/git-pr
 	prune-all = !git remote | xargs -n 1 git remote prune
 	pushall = "!f() { for repo in origin github; do git push $repo \"$@\"; done; }; f"
 	record = !git add -p && git commit --verbose
-- 
cgit v1.2.3-54-g00ecf