Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Add robots.txt #471

Closed
frvge opened this issue Jul 23, 2018 · 3 comments
Closed

Add robots.txt #471

frvge opened this issue Jul 23, 2018 · 3 comments

Comments

@frvge
Copy link
Contributor

frvge commented Jul 23, 2018

Currently, the robots.txt gives a 404 page.

Request: create a robots.txt

@Nexuist
Copy link
Contributor

Nexuist commented Oct 3, 2018

I can take this! I'll include a generic policy that enables crawlers unless there is anything you guys want to specifically block out.

@molant
Copy link
Member

molant commented Oct 3, 2018

@Nexuist that sounds perfect, thanks a lot!

@molant
Copy link
Member

molant commented Oct 4, 2018

Hi @Nexuist,

Just in case, you are looking into adding the robots.txt file into https://github.com/webhintio/webhint.io/tree/master/src/webhint-theme/source/static.

npm run build should compress that file and add it into the dist folder, but you might want to double check that.

Thanks!

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging a pull request may close this issue.

4 participants