Skip to content

proposal: separate language server #245

@arjendevos

Description

@arjendevos

This proposal is not an immediate thing but I think it will improve the developer experience (at least for me). My proposal is this:

Separate language server directory into it's own Github repo (like it was before)

My main reason for this is that the current structure is very unorganized. I agree with the fact that it is easier to develop and I think we should keep it for now until the syntax is stable. However this issue can serve as a reminder that in the future we can separate the repo's.

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions