From 4a22d3db7eac02b6f204ebf7aa41d6b7cd6e8feb Mon Sep 17 00:00:00 2001 From: Loic Nageleisen Date: Wed, 7 Dec 2022 12:27:41 +0100 Subject: [PATCH] Add GitHub PR fetching --- home/gitconfig | 1 + 1 file changed, 1 insertion(+) diff --git a/home/gitconfig b/home/gitconfig index 8df0e4b..b67970a 100644 --- a/home/gitconfig +++ b/home/gitconfig @@ -43,3 +43,4 @@ lint = !git branch --merged | grep -v \"^\\s*master$\" | grep -v \"\\*\" | xargs -n 1 git branch -d modified = !git status --porcelain | perl -ne '/^M (.*)/ and print \"$1\\n\"' conflicts = !git status --porcelain | perl -ne '/^UU (.*)/ and print \"$1\\n\"' + fetch-pr = !git fetch origin pull/${1}/head:pr/${1}