This commit is contained in:
João Moreno 2020-06-03 15:19:00 +02:00
parent 5200dcdf38
commit 43f362b448
No known key found for this signature in database
GPG key ID: 896B853774D1A575

View file

@ -148,6 +148,13 @@ export class Model implements IRemoteSourceProviderRegistry {
}
private onPossibleGitRepositoryChange(uri: Uri): void {
const config = workspace.getConfiguration('git');
const autoRepositoryDetection = config.get<boolean | 'subFolders' | 'openEditors'>('autoRepositoryDetection');
if (autoRepositoryDetection === false) {
return;
}
this.eventuallyScanPossibleGitRepository(uri.fsPath.replace(/\.git.*$/, ''));
}