I have a developer who has been unable to push to Gitorious using his SSH key. &nbsp;It was working two weeks ago, then suddenly stopped. &nbsp;<div><br></div><div>We have sent emails to Bernie but have not gotten any real attention to the issue. &nbsp;Can there be a mailing list for infrastructure support requests?<div>
<br></div><div>We have tried everything we can think of, including reinstalling his VM from scratch and re-uploading his public key. &nbsp;</div><div><br></div><div>Best,</div><div>Wade</div></div>