add git api to init

This commit is contained in:
João Moreno
2020-04-23 16:26:18 +02:00
parent 78f299ee51
commit ab42ffc44c
2 changed files with 8 additions and 0 deletions

View File

@@ -216,6 +216,7 @@ export interface API {
toGitUri(uri: Uri, ref: string): Uri;
getRepository(uri: Uri): Repository | null;
init(root: Uri): Promise<Repository | null>;
registerRemoteSourceProvider(provider: RemoteSourceProvider): Disposable;
}