aboutsummaryrefslogtreecommitdiff
path: root/crates/parser/src/grammar
diff options
context:
space:
mode:
authorMatthias Einwag <[email protected]>2020-09-23 07:12:51 +0100
committerMatthias Einwag <[email protected]>2020-09-23 07:12:51 +0100
commitb93ced6f633fab2733b40aef2541582b00e053fb (patch)
treed4f100e94e0f8cbece5fddc76385f42cdd181e45 /crates/parser/src/grammar
parentbcdedbb3d5a45ea974cc5f8e9068e9604c43a757 (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/parser/src/grammar')
0 files changed, 0 insertions, 0 deletions