add diagnostic tool for git file event issues

This commit is contained in:
Joao Moreno
2019-06-20 15:47:46 +02:00
parent fb56f99975
commit 997e91421e
2 changed files with 52 additions and 14 deletions

View File

@@ -233,7 +233,7 @@ export class Model {
}
const dotGit = await this.git.getRepositoryDotGit(repositoryRoot);
const repository = new Repository(this.git.open(repositoryRoot, dotGit), this.globalState);
const repository = new Repository(this.git.open(repositoryRoot, dotGit), this.globalState, this.outputChannel);
this.open(repository);
} catch (err) {