cleaner git push api

This commit is contained in:
Joao Moreno
2018-11-01 11:11:47 +01:00
parent 0aa28f556e
commit 66a49b23da
2 changed files with 3 additions and 8 deletions

View File

@@ -152,8 +152,7 @@ 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>;
push(remoteName?: string, branchName?: string, setUpstream?: boolean): Promise<void>;
}
export interface API {