git: expose getRepository

This commit is contained in:
Joao Moreno
2020-01-21 15:49:39 +01:00
parent 5758a50c8c
commit afe47568c1
2 changed files with 6 additions and 0 deletions

View File

@@ -187,6 +187,7 @@ export interface API {
readonly onDidCloseRepository: Event<Repository>;
toGitUri(uri: Uri, ref: string): Uri;
getRepository(uri: Uri): Repository | null;
}
export interface GitExtension {