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

New: Add robots.txt to enable crawling #532

Closed
wants to merge 1 commit into from

Conversation

Nexuist
Copy link
Contributor

@Nexuist Nexuist commented Oct 8, 2018

Pull request checklist

Make sure you:

Short description of the change(s)

Add a robots.txt file, fixes #471.

Note that I wasn't able to test if it would actually end up in the right place in dist/ as I was unable to run a build due to #448. If anyone else can try a build to confirm, that would be super helpful.

@alrra
Copy link
Contributor

alrra commented Oct 8, 2018

Thanks, @Nexuist!

If anyone else can try a build to confirm, that would be super helpful.

Sure!

@alrra
Copy link
Contributor

alrra commented Oct 8, 2018

There are a few things that still need to be done (e.g.: not execute revfiles for robots.txt).

I'll take care of those before merging.

@alrra alrra closed this in 9b463ff Oct 8, 2018
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Add robots.txt
2 participants