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

Update to unified-language-server 4 #13

Merged
merged 1 commit into from
Sep 25, 2023
Merged

Update to unified-language-server 4 #13

merged 1 commit into from
Sep 25, 2023

Conversation

remcohaszing
Copy link
Member

@remcohaszing remcohaszing commented Sep 25, 2023 •
edited

Initial checklist

  • I read the support docs
  • I read the contributing guide
  • I agree to follow the code of conduct
  • I searched issues and couldn’t find anything (or linked relevant results below)
  • If applicable, I’ve added docs and tests

Description of changes

This introduces the setting remark.requireConfig.

@remcohaszing remcohaszing added 📚 area/docs This affects documentation 🦋 type/enhancement This is great to have 📦 area/deps This affects dependencies 🧑 semver/major This is a change 🤞 phase/open Post is being triaged manually labels Sep 25, 2023
@remcohaszing remcohaszing merged commit 1af91a0 into main Sep 25, 2023
11 checks passed
@remcohaszing remcohaszing deleted the unified-language-server-4 branch September 25, 2023 17:09
@github-actions
Copy link

Hi! This was closed. Team: If this was merged, please describe when this is likely to be released. Otherwise, please add one of the no/* labels.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@ChristianMurphy ChristianMurphy ChristianMurphy approved these changes

Assignees
No one assigned
Labels
📦 area/deps This affects dependencies 📚 area/docs This affects documentation 🤞 phase/open Post is being triaged manually 🧑 semver/major This is a change 🦋 type/enhancement This is great to have
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

None yet
2 participants
@remcohaszing @ChristianMurphy