Skip to content

Documentation sources contain outdated movedTo property #15117

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.

Sign up for GitHub

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

Jump to bottom
Closed
julienrf opened this issue May 5, 2022 · 1 comment · Fixed by #15156
Closed

Documentation sources contain outdated movedTo property #15117

julienrf opened this issue May 5, 2022 · 1 comment · Fixed by #15156
Assignees
@pikinier20
Labels
area:documentation good first issue Perfect for someone who wants to get started contributing itype:enhancement stat:unassigned This issue or PR is not assigned to anyone, but should be

Comments

@julienrf
Copy link
Contributor

julienrf commented May 5, 2022

Some sources of the Dotty website contain a movedTo property that was introduced when we were considering moving the source files to the scala/docs.scala-lang repo. Ultimately, we have followed a different approach and the source files in the Dotty are now the unique source of documentation. Therefore, we should remove the movedTo property from them.
@julienrf julienrf added itype:enhancement area:documentation good first issue Perfect for someone who wants to get started contributing stat:unassigned This issue or PR is not assigned to anyone, but should be labels May 5, 2022
@pikinier20 pikinier20 self-assigned this May 6, 2022
@julienrf
Copy link
Contributor Author

julienrf commented May 9, 2022

Maybe related to #15115 since we probably want to keep having a top banner, ultimately, but to indicate that this is the nightly documentation, with a link to find the stable documentation (what is currently at the URL movedTo…)

@pikinier20 pikinier20 mentioned this issue May 10, 2022
Merged
@julienrf julienrf mentioned this issue Oct 21, 2022
Closed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@pikinier20 pikinier20

Labels
area:documentation good first issue Perfect for someone who wants to get started contributing itype:enhancement stat:unassigned This issue or PR is not assigned to anyone, but should be
Projects
None yet
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

Mark reference documentation as nightly dotty-staging/dotty
2 participants
@julienrf @pikinier20