Thorsten Ball 6d91224882 Debounce language server reinstall attempts (#8277) ...

I don't think there's value in retrying 4 times as fast as possible,
especially if we might hit the Github API every time to check for the
newest version.

That gets us in rate limit problems quickly.

Release Notes:

- N/A

2024-02-23 17:00:05 +01:00

..

src

Debounce language server reinstall attempts (#8277)

2024-02-23 17:00:05 +01:00

Cargo.toml

Detect and possibly use user-installed gopls / zls language servers (#8188)

2024-02-23 13:39:14 +01:00

LICENSE-GPL

chore: Change AGPL-licensed crates to GPL (except for collab) (#4231)

2024-01-24 00:26:58 +01:00