aboutsummaryrefslogtreecommitdiff
path: root/crates/hir/src/attrs.rs
diff options
context:
space:
mode:
authorbors[bot] <26634292+bors[bot]@users.noreply.github.com>2020-09-24 15:08:46 +0100
committerGitHub <[email protected]>2020-09-24 15:08:46 +0100
commitde4fb138063c859f29b5a4cf6d382d94e38bb48c (patch)
treee5e605708e31a23983cbbe273bc8a6a72cb6d179 /crates/hir/src/attrs.rs
parent9d3483a74dba6b0a338230fd003d91a0447c5398 (diff)
parent8eae893c767941bf02338cd74d7b103437783013 (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/src/attrs.rs')
0 files changed, 0 insertions, 0 deletions