git api: remotes

This commit is contained in:
Joao Moreno
2018-08-22 15:28:53 +02:00
parent 2a299bb9d0
commit a9bc997f23
2 changed files with 11 additions and 3 deletions

View File

@@ -14,9 +14,17 @@ export interface InputBox {
value: string;
}
export interface Remote {
readonly name: string;
readonly fetchUrl?: string;
readonly pushUrl?: string;
readonly isReadOnly: boolean;
}
export interface Repository {
readonly rootUri: Uri;
readonly inputBox: InputBox;
readonly remotes: Remote[];
readonly onDidRunGitStatus: Event<void>;