4 ms·
I think it is time to add *.github.com to the filter list. I read through the whole post before I realized it was not from GitHub, but someone who hosts on git
by joshfinnie 16y ago
I think it is time to add *.github.com to the filter list. I read through the whole post before I realized it was not from GitHub, but someone who hosts on github. We do it for blogger etc, can we get github added?
- there 16y agoit should probably just try to strip ^www\d*?\. from the domain and leave everything else, rather than strip off the first component of the hostname regardless of what it is. better to print too long a url for some than too short for things like example.github.com, code.google.com, etc.
- igravious 16y agoOh please yes. + a bucket load for code.google.com which comes up a lot and would provide nice glanceable info.
- corin_ 16y agoAgree with the request and hence upvoted, however not quite sure how you didn't realise it wasn't officially from GitHub as soon as you loaded the page.
- joshfinnie 16y agoLet's just call it me being way over tired. Definitely not an easy mistake to make.
- raganwald 16y agoI agree. foo.github.com and github.com/foo are the important domain considerations.
- wtracy 16y agoI was thinking that maybe Github had established a new color-coding scheme for differentiating projects that are production-ready from ones that aren't. That would have been interesting.
- jackowayed 16y agoI posted this to the feature requests a long time ago. I don't know how much pg and the other maintainers actually look at the feature requests (especially given that the same request for google.com, which seems like a nobrainer, has been near the top for >a year), but it's worth a try: http://news.ycombinator.com/item?id=1239752 http://news.ycombinator.com/item?id=1239752