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.

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

Update versioning policy for editor integration #12375

Merged
merged 2 commits into from
Jul 18, 2024
Merged

Conversation

dhruvmanila
Copy link
Member

Summary

Following the stabilization of the Ruff language server, we need to update our versioning policy to account for any changes in it. This could be server settings, capability, etc.

This PR also adds a new section for the VS Code extension which is adopted from Biome's versioning policy for the same.

@dhruvmanila dhruvmanila added the documentation Improvements or additions to documentation label Jul 18, 2024
@dhruvmanila dhruvmanila marked this pull request as ready for review July 18, 2024 10:50
docs/versioning.md Outdated Show resolved Hide resolved
@dhruvmanila
Copy link
Member Author

dhruvmanila commented Jul 18, 2024

I initially thought that adding a new capability shouldn't require a minor bump but maybe that's not true. What if we add completions and then when a user upgrades the Ruff version, the editor will start showing completions from Ruff, a lot of which might be duplicates from an existing language server.

Edit: I think for now this is fine.

@dhruvmanila dhruvmanila requested a review from MichaReiser July 18, 2024 11:53
@MichaReiser MichaReiser requested a review from zanieb July 18, 2024 12:10
docs/versioning.md Outdated Show resolved Hide resolved
docs/versioning.md Outdated Show resolved Hide resolved
docs/versioning.md Outdated Show resolved Hide resolved
@dhruvmanila dhruvmanila enabled auto-merge (squash) July 18, 2024 15:16
@dhruvmanila dhruvmanila merged commit 7953f6a into main Jul 18, 2024
19 checks passed
@dhruvmanila dhruvmanila deleted the dhruv/versioning branch July 18, 2024 15:17
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
documentation Improvements or additions to documentation
Projects
None yet
Development

Successfully merging this pull request may close these issues.

4 participants