Add GitHub PR fetching

This commit is contained in:
Loic Nageleisen 2022-12-07 12:27:41 +01:00
parent 51dd8f16dc
commit 4a22d3db7e
Signed by: lloeki
GPG key ID: D05DAEE6889F94C2

View file

@ -43,3 +43,4 @@
lint = !git branch --merged | grep -v \"^\\s*master$\" | grep -v \"\\*\" | xargs -n 1 git branch -d 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\"' modified = !git status --porcelain | perl -ne '/^M (.*)/ and print \"$1\\n\"'
conflicts = !git status --porcelain | perl -ne '/^UU (.*)/ 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}