-
Notifications
You must be signed in to change notification settings - Fork 1k
Deleted pages are not removed from the website #2621
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
Comments
@fsalvi could you please have a look? A page has been removed in #2604 but it is still on the website: https://docs.scala-lang.org/overviews/core/actors-migration-guide.html |
By default, the script doesn't delete files but only update them to avoid the worst case where a random problem could lead to an empty site (but that can be changed in 2 seconds if needed). |
Thank you Fabien, I see that the removed pages are effectively not available anymore on the server. However, that revealed that we had some dead links, as shown by the CI failure: https://github.com/scala/docs.scala-lang/actions/runs/3386648392/jobs/5626321883 |
I am fixing the links in #2624 |
For some reason the deleted page https://docs.scala-lang.org/overviews/core/actors-migration-guide.html is still here. It seems that the script that pulls the new website content does not remove deleted pages.
Originally posted by @julienrf in #2542 (comment)
The text was updated successfully, but these errors were encountered: