diff options
author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2020-09-24 15:08:46 +0100 |
---|---|---|
committer | GitHub <[email protected]> | 2020-09-24 15:08:46 +0100 |
commit | de4fb138063c859f29b5a4cf6d382d94e38bb48c (patch) | |
tree | e5e605708e31a23983cbbe273bc8a6a72cb6d179 /crates/hir_ty/src/infer/coerce.rs | |
parent | 9d3483a74dba6b0a338230fd003d91a0447c5398 (diff) | |
parent | 8eae893c767941bf02338cd74d7b103437783013 (diff) |
Merge #6061
6061: Allow to use a Github Auth token for fetching releases r=matklad a=Matthias247
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
Co-authored-by: Matthias Einwag <[email protected]>
Diffstat (limited to 'crates/hir_ty/src/infer/coerce.rs')
0 files changed, 0 insertions, 0 deletions