+[2016-05-24T22:44:37Z]edunhamif you've already done that, carefully read the error message about permission being denied to see if it's perms on the *repo*, or perms on the *local filesystem* +[2016-05-24T22:45:52Z]darkhalocould not open a connection to your authentication agent +[2016-05-24T22:48:35Z]darkhaloI figured it out. ssh agent wasn't running +[2016-05-24T22:48:50Z]darkhaloIs it good practice to not have that run upon boot? +[2016-05-24T22:49:06Z]jhassdarkhalo: edit the url to https://github.com/user/repo.git
if you merge a PR manually, does github notice this?
+[2016-05-26T05:31:05Z]github865Hi +[2016-05-26T07:59:28Z]dj_"One of our mostly harmless robots has suspicions about your xxx organization" +[2016-05-26T07:59:50Z]dj_how to resolve this issue? +[2016-05-26T08:24:45Z]tobiasvldj_: !sgc probably +[2016-05-26T08:24:45Z]gitinfodj_: For bug reports, feature requests, suggestions for improvement, or specific problems with an individual repo (or gist, etc.), please contact support via support@github.com or https://github.com/support - support tries to answer all questions within 24 hours, including weekends and holidays.