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

Posted by kevinfish in #github at 2016-09-17T23:17:19Z

The site could be temporarily unavailable or too busy. Try again in a few moments.
+ [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