diff options
Diffstat (limited to 'editors')
-rw-r--r-- | editors/code/src/main.ts | 11 |
1 files changed, 8 insertions, 3 deletions
diff --git a/editors/code/src/main.ts b/editors/code/src/main.ts index 2fcd853d4..ce7c56d05 100644 --- a/editors/code/src/main.ts +++ b/editors/code/src/main.ts | |||
@@ -393,8 +393,13 @@ async function queryForGithubToken(state: PersistentState): Promise<void> { | |||
393 | }; | 393 | }; |
394 | 394 | ||
395 | const newToken = await vscode.window.showInputBox(githubTokenOptions); | 395 | const newToken = await vscode.window.showInputBox(githubTokenOptions); |
396 | if (newToken) { | 396 | if (newToken !== undefined) { |
397 | log.info("Storing new github token"); | 397 | if (newToken === "") { |
398 | await state.updateGithubToken(newToken); | 398 | log.info("Clearing github token"); |
399 | await state.updateGithubToken(undefined); | ||
400 | } else { | ||
401 | log.info("Storing new github token"); | ||
402 | await state.updateGithubToken(newToken); | ||
403 | } | ||
399 | } | 404 | } |
400 | } | 405 | } |