Skip to content

Add robots.txt#1905

Merged
justvanrossum merged 2 commits into
mainfrom
robots-txt
Dec 31, 2024
Merged

Add robots.txt#1905
justvanrossum merged 2 commits into
mainfrom
robots-txt

Conversation

@justvanrossum

@justvanrossum justvanrossum commented Dec 31, 2024

Copy link
Copy Markdown
Member

This fixes #1600.

Contains a minor refactoring that ensures we can serve *.txt.

@justvanrossum justvanrossum merged commit 51d7483 into main Dec 31, 2024
@justvanrossum justvanrossum deleted the robots-txt branch December 31, 2024 14:24
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.

We should have robots.txt

1 participant