diff options
| author | Matthias Einwag <[email protected]> | 2020-09-23 16:24:35 +0100 |
|---|---|---|
| committer | Matthias Einwag <[email protected]> | 2020-09-23 16:24:35 +0100 |
| commit | d38f759c631039d11cb490692b5e07b00324ff10 (patch) | |
| tree | 84843c6e72a023fe011dfefd98cfd809d003dec8 /editors/code/src/net.ts | |
| parent | 87933e15ce3b7a603b6e28597cdc152669e90cca (diff) | |
Use closure in trailing position and strongly type header map
Diffstat (limited to 'editors/code/src/net.ts')
| -rw-r--r-- | editors/code/src/net.ts | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/editors/code/src/net.ts b/editors/code/src/net.ts index d6194b63e..cfbe1fd48 100644 --- a/editors/code/src/net.ts +++ b/editors/code/src/net.ts | |||
| @@ -28,7 +28,7 @@ export async function fetchRelease( | |||
| 28 | 28 | ||
| 29 | log.debug("Issuing request for released artifacts metadata to", requestUrl); | 29 | log.debug("Issuing request for released artifacts metadata to", requestUrl); |
| 30 | 30 | ||
| 31 | var headers: any = { Accept: "application/vnd.github.v3+json" }; | 31 | const headers: Record<string, string> = { Accept: "application/vnd.github.v3+json" }; |
| 32 | if (githubToken != null) { | 32 | if (githubToken != null) { |
| 33 | headers.Authorization = "token " + githubToken; | 33 | headers.Authorization = "token " + githubToken; |
| 34 | } | 34 | } |