fsprojects / .github

The place to request for projects to be added or removed from the incubation space
28 stars 7 forks source link

Merge, or replace fsprojects/fsharp-languge-server with faldor20/fsharp-language-server #40

Closed faldor20 closed 2 years ago

faldor20 commented 2 years ago

The original fsprojects/fsharp-language-server repo seems completely unmaintained. I have forked it and republished the extension with a large number of improvements (probably a few extra bugs too :b ), from myself and other members of the community.

As requested in this issue https://github.com/faldor20/fsharp-language-server/discussions/15 , would it be possible to merge the two projects, or replace the old one, or some such, so that members of the community have less confusion and duplication?

Thanks.

sergey-tihon commented 2 years ago

@georgewfraser what do you think? would you mind to add @faldor20 as co-maintainer of fsprojects/fsharp-language-server?

@fsprojects/tooling-team , @dsyme appreciate your thoughts as well.

dsyme commented 2 years ago

This seems reasonable

cartermp commented 2 years ago

agreed

dsyme commented 2 years ago

@faldor20 I have sent a maintainer invitation to you. You will now be able to make a pull request and self-merge it and continue development together with other contributors

@georgewfraser Please let us know if you have any concerns.

faldor20 commented 2 years ago

@dsyme Thankyou very much.