From 38ca802368db53fb7688bd069fc55ae3f1012c56 Mon Sep 17 00:00:00 2001 From: Christian Alexander Date: Sun, 21 Oct 2018 14:35:07 -0700 Subject: [PATCH] feat: add push to git extension API --- extensions/git/src/api/api1.ts | 8 ++++++++ extensions/git/src/api/git.d.ts | 2 ++ 2 files changed, 10 insertions(+) diff --git a/extensions/git/src/api/api1.ts b/extensions/git/src/api/api1.ts index 783fdf857ad..af5cced31a7 100644 --- a/extensions/git/src/api/api1.ts +++ b/extensions/git/src/api/api1.ts @@ -150,6 +150,14 @@ export class ApiRepository implements Repository { pull(): Promise { return this._repository.pull(); } + + push(head: Branch): Promise { + return this._repository.push(head); + } + + pushTo(remote?: string, name?: string, setUpstream: boolean = false): Promise { + return this._repository.pushTo(remote, name, setUpstream); + } } export class ApiGit implements Git { diff --git a/extensions/git/src/api/git.d.ts b/extensions/git/src/api/git.d.ts index 988b6eca7a6..81605bfa570 100644 --- a/extensions/git/src/api/git.d.ts +++ b/extensions/git/src/api/git.d.ts @@ -118,6 +118,8 @@ export interface Repository { fetch(remote?: string, ref?: string): Promise; pull(): Promise; + push(head: Branch): Promise; + pushTo(remote?: string, name?: string, setUpstream?: boolean): Promise; } export interface API {