Because there are many users at my workplace, the company's IP gets rate-limited on GitHub API requests. That makes attempts to check for an update fail sometimes:
Failed to check for clangd update: Error: Can't fetch release: rate limit exceeded
I assume there is a proper way to deal with the greater issue at a company level, but it wouldn't help in other realistic instances, such as an internet cafe.
As a workaround to the whole issue, I think clangd could ask VS Code for access to the GitHub OAuth session (if available), and use the user's rate limit, rather than the one tied to the IP address. I am also happy to open an issue in node-clangd if needed.
Because there are many users at my workplace, the company's IP gets rate-limited on GitHub API requests. That makes attempts to check for an update fail sometimes:
I assume there is a proper way to deal with the greater issue at a company level, but it wouldn't help in other realistic instances, such as an internet cafe.
As a workaround to the whole issue, I think clangd could ask VS Code for access to the GitHub OAuth session (if available), and use the user's rate limit, rather than the one tied to the IP address. I am also happy to open an issue in node-clangd if needed.