Currently, if GITHUB_TOKEN is not set in the environment, the GitHub API may return a 403 Forbidden error once the ip based rate limit is exceeded. This causes the Zed editor to report that the tinymist language server failed to start.
The update check should fail gracefully. If the check fails, a pop-up message is enough.
Language server tinymist:
from extension "Typst" version 0.1.0: status error 403, response: "{\"message\":\"API rate limit exceeded for <IP address>. (But here's the good news: Authenticated requests get a higher rate limit. Check out the documentation for more details.)\",\"documentation_url\":\"https://docs.github.com/rest/overview/resources-in-the-rest-api#rate-limiting\"}\n"
Currently, if GITHUB_TOKEN is not set in the environment, the GitHub API may return a 403 Forbidden error once the ip based rate limit is exceeded. This causes the Zed editor to report that the tinymist language server failed to start.
The update check should fail gracefully. If the check fails, a pop-up message is enough.