+ [2016-09-17T23:34:24Z] kevinfish traceroute to github.com (192.30.253.112), 30 hops max, 60 byte packets
+ [2016-09-17T23:34:24Z] kevinfish traceroute github.com
+ [2016-09-17T23:36:09Z] kevinfish OMG, I can get there from another machine on the net! Something in my machine is filtering it
+ [2016-09-17T23:36:16Z] kevinfish on the lan that is

message no. 150658

Posted by The_Woodsman in #github at 2016-09-17T00:16:17Z

I rebooted my computer last night, and when i turned it back on I kept getting Permission denied (publickey) whenever i tried to push or pull. i decided to go generate a new key, and that worked for about an hour, and now i'm getting the same errors
+ [2016-09-18T12:57:34Z] Snaggle Is it possible to create a pull request from a local fork of a github repo with local commits? The fork and commits do _not_ exist in github. Basically, I don’t want to create an entire github fork for a 4 line change
+ [2016-09-18T13:49:46Z] nedbat Snaggle: i don't think it's possible. GitHub doesn't mind if you make the fork.
+ [2016-09-18T14:17:11Z] pchaigno Snaggle: you can delete the fork after submitting the pull request though
+ [2016-09-18T14:17:16Z] pchaigno no need to wait for it to be merged
+ [2016-09-18T15:05:30Z] Zarthus it's useful to keep it around though, in case yo uneed to make edits