git: getAPI

This commit is contained in:
Joao Moreno
2018-08-21 16:04:00 +02:00
parent 0633c77f80
commit ad4fecadeb
7 changed files with 80 additions and 10 deletions

30
extensions/git/src/api/git.d.ts vendored Normal file
View File

@@ -0,0 +1,30 @@
/*---------------------------------------------------------------------------------------------
* Copyright (c) Microsoft Corporation. All rights reserved.
* Licensed under the MIT License. See License.txt in the project root for license information.
*--------------------------------------------------------------------------------------------*/
import { Uri, SourceControlInputBox } from 'vscode';
declare module GitExtension {
export interface API {
}
//#region Deprecated API
export interface InputBox {
value: string;
}
export interface Repository {
readonly rootUri: Uri;
readonly inputBox: InputBox;
}
//#endregion
}
export interface GitExtension {
getRepositories(): Promise<GitExtension.Repository[]>;
getGitPath(): Promise<string>;
// export const availableVersions: string[];
getAPI(range: string): GitExtension.API;
}