+ [2019-06-29T20:15:04Z] DanDare Also Im trying stuff that requires permissions to my account and im not really confident about it atm
+ [2019-06-29T20:16:01Z] DanDare Yeah but I think people following you will receive stuff regardless, not sure thought
+ [2019-06-29T20:16:39Z] R2robot i believe so, but not from the notifications page, it's from the profile page or something.
+ [2019-06-29T20:16:56Z] R2robot "somedue pushed 2 commits to blah" or something

message no. 174043

Posted by qacky in #github at 2019-06-29T02:15:52Z

maybe a dumb question but does github now require clone urls to innclude the trailinng .git ? Ex using "https://github.com/torvalds/linux.git" vs https://github.com/torvalds/linux" which worked a few days ago. Or is git itself borked. 1.7.1 works, 2.22.0.214 does not
+ [2019-07-01T12:37:24Z] diverdude "fatal: Unable to create .git/index.lock': File exists. " Is it safe to delete index.lock manually?
+ [2019-07-01T12:49:24Z] canton7 (x-posted to #git)
+ [2019-07-01T15:00:08Z] amcclure Opening https://api.github.com/users/(username)/repos is working on web browser but not in php script
+ [2019-07-01T15:00:16Z] amcclure file_get_contents(https://api.github.com/users/(username)/repos): failed to open stream: HTTP request failed! HTTP/1.0 403 Forbidden.
+ [2019-07-01T15:00:40Z] amcclure Is there something I need to have for it to work in script?