Join GitHub today
GitHub is home to over 31 million developers working together to host and review code, manage projects, and build software together.Sign up
Add robots.txt as reserved username #6272
I think that doesn't address the general problem, where arbitrary files in the webroot can interfere with the usernames/organizations. If we want this, then we should also blacklist common files like .htaccess, .htpassword, the google ownership verification file, etc.