8000 Added new bots to robots.txt by briri · Pull Request #800 · CDLUC3/dmptool · GitHub
[go: up one dir, main page]

Skip to content

Added new bots to robots.txt - #800

Merged
briri merged 1 commit into
v5from
chore/more-bots
Oct 13, 2026
Merged

briri merged 1 commit into
v5from
chore/more-bots

Conversation

@briri
@briri briri commented Aug 25, 2026
Copy link
Copy Markdown
Collaborator

Added some new bots to the robots.txt file

@jupiter007 jupiter007 left a comment
Copy link
Copy Markdown
Collaborator

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM. Thanks Brian.

@briri
briri merged commit 6e5874e into v5 Oct 13, 2026
0 of 8 checks passed
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.

2 participants

0