Skip to content

Conversation

@HarryMWinters
Copy link
Contributor

Type of Changes

Type
βœ“ πŸ“œ Docs

Description

A link in the user guide claiming to point to VSCode IDE integration documentation was actually pointing to Visual Studio integration documentation.

This corrects that documentation page.

Links

Closes #6533

Additional Concerns

Does the change log need to be updated for a change this small? I did not do so.

A link in the user guide claiming to point to VSCode IDE
integration documentation was actually pointing to Visual Studio
integration documentation. This corrects that link.
Copy link
Member

@Pierre-Sassoulas Pierre-Sassoulas left a comment

Choose a reason for hiding this comment

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

Thank you ! Should we also keep the old link ?

@coveralls
Copy link

coveralls commented May 7, 2022

Pull Request Test Coverage Report for Build 2286274434

  • 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.325%

Totals Coverage Status
Change from base Build 2283754721: 0.0%
Covered Lines: 15985
Relevant Lines: 16769

πŸ’› - Coveralls

@Pierre-Sassoulas Pierre-Sassoulas merged commit 257dcd5 into pylint-dev:main May 7, 2022
@Pierre-Sassoulas Pierre-Sassoulas removed this from the 2.14.0 milestone May 17, 2022
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.

[Docs] Incorrect link in docs/user_guide/ide-integration.rst

4 participants