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

message no. 153130

Posted by kandinsk1 in #github at 2016-10-11T06:10:12Z

preaction: thanks. For more detail: I always use ssh keys, and I can clone other projects from the same organisation. I use the scheme git@github.com:<org>/<repo>.git
+ [9 years ago] SpComb I submitted a support request about kinda security-related issue with our repo yesterday, and no reply yet
+ [9 years ago] SpComb any way to escalate or even confirm that it wasn't simply lost in the ether?
+ [9 years ago] SpComb the foreign commits are still there in our repo
+ [9 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
+ [9 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.