add unshallow as an option for git pull

This commit is contained in:
Joao Moreno
2019-01-07 11:22:26 +01:00
parent bba335ab63
commit ff157f90a0
4 changed files with 19 additions and 11 deletions

View File

@@ -154,7 +154,7 @@ export interface Repository {
removeRemote(name: string): Promise<void>;
fetch(remote?: string, ref?: string, depth?: number): Promise<void>;
pull(): Promise<void>;
pull(unshallow?: boolean): Promise<void>;
push(remoteName?: string, branchName?: string, setUpstream?: boolean): Promise<void>;
}