+ [8 years ago] geri remote add?
+ [8 years ago] nedbat geri: that is one of the commands you'll need, yes
+ [8 years ago] geri ok nice
+ [8 years ago] geri thanks so much

message no. 153187

Posted by gynter in #github at 2016-10-11T19:49:16Z

ah you mean only commit history? yes, that's possible without forking too
+ [8 years ago] SpComb I submitted a support request about kinda security-related issue with our repo yesterday, and no reply yet
+ [8 years ago] SpComb any way to escalate or even confirm that it wasn't simply lost in the ether?
+ [8 years ago] SpComb the foreign commits are still there in our repo
+ [8 years ago] SpComb well the " When in doubt, email us: bounty@github.com" advice on the security program page doesn't seem very helpful, it just autoresponds
+ [8 years ago] Zarthus SpComb: Better dealt with with github staff directly if you think it's a security error, accidental exposure could result in problems.