message no. 150218
Posted by lizzie in #github at 2016-09-10T22:39:51Z
I googled github mirrors, all I see is instructions for making a github based mirror of a *non* github repo using a post-receive hook
Posted by lizzie in #github at 2016-09-10T22:39:51Z