git api: expose toGitUri

This commit is contained in:
Joao Moreno
2019-11-19 16:54:41 +01:00
parent ff23412237
commit b7ead236be
2 changed files with 7 additions and 0 deletions

View File

@@ -185,6 +185,8 @@ export interface API {
readonly repositories: Repository[];
readonly onDidOpenRepository: Event<Repository>;
readonly onDidCloseRepository: Event<Repository>;
toGitUri(uri: Uri, ref: string): Uri;
}
export interface GitExtension {