Add git-fetch-github

jwiegley · jwiegley · commit 2ef37405e0d0 · 2018-04-23T11:30:28.000-07:00
diff --git a/git-fetch-github b/git-fetch-github
@@ -0,0 +1,3 @@
+#!/bin/bash
+REMOTE=${1:-origin}
+git config remote.${REMOTE}.fetch "+refs/pull/*:refs/remotes/${REMOTE}/pr/*"

Original file line number	Diff line number	Diff line change
`@@ -0,0 +1,3 @@`
	`1`	`+#!/bin/bash`
	`2`	`+REMOTE=${1:-origin}`
	`3`	`+git config remote.${REMOTE}.fetch "+refs/pull/:refs/remotes/${REMOTE}/pr/"`