Merge commit 'refs/pull/47790/head' of github.com:Microsoft/vscode into pr/47790

This commit is contained in:
Joao Moreno
2018-07-06 14:48:10 +02:00
3 changed files with 11 additions and 1 deletions

View File

@@ -1395,6 +1395,10 @@ export class CommandCenter {
try {
await repository.push(repository.HEAD);
const gitConfig = workspace.getConfiguration('git');
if (gitConfig.get<boolean>('showPushSuccessNotification')) {
window.showInformationMessage(localize('push success', "Successfully pushed."));
}
} catch (err) {
if (err.gitErrorCode !== GitErrorCodes.NoUpstreamBranch) {
throw err;