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.

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

Move the Wiki to the Docs #12997

Open
nik-rev opened this issue Mar 1, 2025 · 0 comments
Open

Move the Wiki to the Docs #12997

nik-rev opened this issue Mar 1, 2025 · 0 comments
Labels
A-documentation Area: Documentation improvements C-enhancement Category: Improvements

Comments

@nik-rev
Copy link
Contributor

nik-rev commented Mar 1, 2025 •
edited
Loading

This idea was mentioned previously by one of the maintainers, but there isn't a tracking issue for it so I am making one here.

Why: The wiki has a lot of useful material. Would be nice to have it become more discoverable via the official documentation. One benefit is that people will now be able to include language support for PR + adding official examples for that Language Server to the list of language server configurations.

And just great to have everything in a single place.
@nik-rev nik-rev changed the title Move the Wiki to the Website Move the Wiki to the Docs Mar 1, 2025
@the-mikedavis the-mikedavis added A-documentation Area: Documentation improvements C-enhancement Category: Improvements labels Mar 1, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
A-documentation Area: Documentation improvements C-enhancement Category: Improvements
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@the-mikedavis @nik-rev