diff options
author | Matthias Einwag <[email protected]> | 2020-09-23 07:12:51 +0100 |
---|---|---|
committer | Matthias Einwag <[email protected]> | 2020-09-23 07:12:51 +0100 |
commit | b93ced6f633fab2733b40aef2541582b00e053fb (patch) | |
tree | d4f100e94e0f8cbece5fddc76385f42cdd181e45 /crates/ide_db/src/label.rs | |
parent | bcdedbb3d5a45ea974cc5f8e9068e9604c43a757 (diff) |
Allow to use a Github Auth token for fetching releases
This change allows to use a authorization token provided by Github in
order to fetch metadata for a RA release. Using an authorization token
prevents to get rate-limited in environments where lots of RA users use
a shared client IP (e.g. behind a company NAT).
The auth token is stored in `ExtensionContext.globalState`.
As far as I could observe through testing with a local WSL2 environment
that state is synced between an extension installed locally and a remote
version.
The change provides no explicit command to query for an auth token.
However in case a download fails it will provide a retry option as well
as an option to enter the auth token. This should be more discoverable
for most users.
Closes #3688
Diffstat (limited to 'crates/ide_db/src/label.rs')
0 files changed, 0 insertions, 0 deletions