Skip to content

Change file names in documentation and fix redirects #6651

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

Merged
merged 2 commits into from
May 19, 2022

Conversation

DanielNoord
Copy link
Collaborator

Reverts #6647

@coveralls
Copy link

coveralls commented May 19, 2022

Pull Request Test Coverage Report for Build 2351123794

  • 0 of 0 changed or added relevant lines in 0 files are covered.
  • No unchanged relevant lines lost coverage.
  • Overall coverage remained the same at 95.353%

Totals Coverage Status
Change from base Build 2351089732: 0.0%
Covered Lines: 16066
Relevant Lines: 16849

💛 - Coveralls

@DanielNoord DanielNoord changed the title Revert "Change names of documentation files" Change file names in documentation and fix redirects May 19, 2022
@Pierre-Sassoulas
Copy link
Member

@DanielNoord
Copy link
Collaborator Author

https://pylint--6651.org.readthedocs.build/en/6651/messages/fatal/config-parse-error.html Does not work

Fixed. I need to setup the directory redirects for every individual PR as they can only be set up for /en/VERSION/ which is normally /en/latest/. Made a typo with the redirect for this PR.

@DanielNoord DanielNoord merged commit e830eed into main May 19, 2022
@DanielNoord DanielNoord deleted the revert-6647-links branch May 19, 2022 09:59
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants