feat: add push to git extension API

This commit is contained in:
Christian Alexander
2018-10-21 14:35:07 -07:00
parent 852cfdaa00
commit 38ca802368
2 changed files with 10 additions and 0 deletions

View File

@@ -150,6 +150,14 @@ export class ApiRepository implements Repository {
pull(): Promise<void> {
return this._repository.pull();
}
push(head: Branch): Promise<void> {
return this._repository.push(head);
}
pushTo(remote?: string, name?: string, setUpstream: boolean = false): Promise<void> {
return this._repository.pushTo(remote, name, setUpstream);
}
}
export class ApiGit implements Git {

View File

@@ -118,6 +118,8 @@ export interface Repository {
fetch(remote?: string, ref?: string): Promise<void>;
pull(): Promise<void>;
push(head: Branch): Promise<void>;
pushTo(remote?: string, name?: string, setUpstream?: boolean): Promise<void>;
}
export interface API {