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

This commit is contained in:
Joao Moreno
2018-11-20 09:43:16 +01:00
5 changed files with 32 additions and 1 deletions

View File

@@ -1165,7 +1165,7 @@ export class Repository {
await this.run(args);
}
async fetch(options: { remote?: string, ref?: string, all?: boolean } = {}): Promise<void> {
async fetch(options: { remote?: string, ref?: string, all?: boolean, prune?: boolean } = {}): Promise<void> {
const args = ['fetch'];
if (options.remote) {
@@ -1178,6 +1178,11 @@ export class Repository {
args.push('--all');
}
if (options.prune) {
args.push('--prune');
}
try {
await this.run(args);
} catch (err) {