+ [2020-02-23T14:54:11Z] medfly maybe I should ask go people too :)
+ [2020-02-23T15:06:20Z] medfly someone said it's because it's a HEAD request.
+ [2020-02-24T20:55:30Z] CompleteNoob psql go_t < dumps/countries.sql The error it is returning is "No such file or directory" (Ubuntu 18.04)
+ [2020-02-24T20:55:30Z] CompleteNoob Greetings. Anyone know why these commands are returning a bash error? psql go_t < dumps/cities.sql
+ [2020-02-24T21:18:15Z] kline CompleteNoob, countries or cities?

message no. 177258

Posted by kline in #github at 2020-02-24T21:18:15Z

CompleteNoob, countries or cities?
+ [2020-02-25T01:40:56Z] th_ how do you do a case sensitive search?
+ [2020-02-25T13:28:37Z] guardian hello, when I visit a project's issues tab, the default filter is is:issue is:open" <- what's the point of "is:issue"? What else will I get if I remove "is:issue" from the filter?
+ [2020-02-25T14:03:48Z] R2robot try it :P
+ [2020-02-25T14:03:56Z] R2robot you'll get PRs
+ [2020-02-25T15:31:25Z] nedbat guardian: deep down, github issues and pull requests are kind of the same thing. There's one numbering sequence for both of them, for example.