You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Logger.appendLine(`Enterprise login selected, but no possible enterprise remotes discovered (${dotComRemotes.length} .com)`,RepositoriesManager.ID);
200
200
}
201
201
if(remoteToUse){
202
+
constno=vscode.l10n.t('No, manually set {0}','github-enterprise.uri');
202
203
constpromptResult=awaitvscode.window.showInformationMessage(vscode.l10n.t('Would you like to set up GitHub Pull Requests and Issues to authenticate with the enterprise server {0}?',remoteToUse),
203
-
{modal: true},yes,vscode.l10n.t('No, manually set {0}','github-enterprise.uri'));
204
+
{modal: true},yes,no);
204
205
if(promptResult===yes){
205
206
awaitsetEnterpriseUri(remoteToUse);
207
+
}elseif(promptResult===no){
208
+
remoteToUse=undefined;
206
209
}else{
207
210
returnfalse;
208
211
}
209
-
}else{
210
-
constsetEnterpriseUriPrompt=awaitvscode.window.showInputBox({placeHolder: vscode.l10n.t('Set a GitHub Enterprise server URL'),ignoreFocusOut: true});
0 commit comments