News for hackers. Stuff that matters.

A comment on GitHub Says ‘No Thanks’ to Bots — Even if They’re Nice . Parent comment

Re:GitHub Says ‘No Thanks’ to Bots — Even if They’re Nice by jgeralnik on Sunday December 30, 2012 @04:45AM (#4985255)
Not connected to github, but look at https://github.com/robots.txt, specifically the first 2 lines.
[ Parent | on HN ]
Re:GitHub Says ‘No Thanks’ to Bots — Even if They’re Nice by tomjen3 on Sunday December 30, 2012 @05:17AM (#4985314)
So yes, but only if you change your bot name.
[ Parent | on HN ]