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

Remove the incorrect robots.txt and the reference in the site.ini #849

Merged
merged 1 commit into from Feb 1, 2021
Merged

Remove the incorrect robots.txt and the reference in the site.ini #849

merged 1 commit into from Feb 1, 2021

Conversation

tvbeek
Copy link
Member

@tvbeek tvbeek commented Dec 1, 2020

Type: cleanup
Issue: -
Breaking change: no

The site currently has an old/incorrect robots.txt

This PR removes that.

@tvbeek tvbeek added the Website label Dec 1, 2020
@kylekatarnls kylekatarnls merged commit 9373574 into phpmd:master Feb 1, 2021
@tvbeek tvbeek deleted the remove_robots branch April 22, 2021 14:11
@ravage84 ravage84 added this to the 2.x (unspecific) milestone May 3, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Development

Successfully merging this pull request may close these issues.

None yet

3 participants