+[2016-10-11T19:54:53Z]geriremote add? +[2016-10-11T19:55:09Z]nedbatgeri: that is one of the commands you'll need, yes +[2016-10-11T19:55:15Z]geriok nice +[2016-10-11T19:55:18Z]gerithanks so much +[2016-10-11T20:12:29Z]IonutVan_so, any help?
ah you mean only commit history? yes, that's possible without forking too
+[2016-10-12T06:15:17Z]SpCombI submitted a support request about kinda security-related issue with our repo yesterday, and no reply yet +[2016-10-12T06:15:39Z]SpCombany way to escalate or even confirm that it wasn't simply lost in the ether? +[2016-10-12T06:15:55Z]SpCombthe foreign commits are still there in our repo +[2016-10-12T06:24:48Z]SpCombwell the " When in doubt, email us: bounty@github.com" advice on the security program page doesn't seem very helpful, it just autoresponds +[2016-10-12T08:39:02Z]ZarthusSpComb: Better dealt with with github staff directly if you think it's a security error, accidental exposure could result in problems.