+ [8 years ago] kevinfish traceroute to github.com (192.30.253.112), 30 hops max, 60 byte packets
+ [8 years ago] kevinfish OMG, I can get there from another machine on the net! Something in my machine is filtering it

message no. 150764

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

OMG, I can get there from another machine on the net! Something in my machine is filtering it
+ [8 years ago] 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
+ [8 years ago] nedbat Snaggle: i don't think it's possible. GitHub doesn't mind if you make the fork.
+ [8 years ago] pchaigno Snaggle: you can delete the fork after submitting the pull request though
+ [8 years ago] pchaigno no need to wait for it to be merged
+ [8 years ago] Zarthus it's useful to keep it around though, in case yo uneed to make edits