+ [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. 174048

Posted by B|ack0p in #github at 2019-06-29T12:45:29Z

hi. how can i pull request my github repository via vscode?
+ [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?