message no. 122249
Posted by ojacobson in #github at 2015-11-26T18:55:03Z
I have +refs/pull/*/head:+refs/pull/* in my fetch specs for github repos for this very reason (that's one of the undocumented ways to do it)
Posted by ojacobson in #github at 2015-11-26T18:55:03Z