GitHub - use GitHub default branch name when publishing to GitHub (#183207)

This commit is contained in:
Ladislau Szomoru
2023-05-24 11:15:17 +02:00
committed by GitHub
parent 1e97f342a9
commit edcad3ab53
5 changed files with 16 additions and 8 deletions

View File

@@ -156,6 +156,10 @@ export interface FetchOptions {
depth?: number;
}
export interface InitOptions {
defaultBranch?: string;
}
export interface RefQuery {
readonly contains?: string;
readonly count?: number;
@@ -307,7 +311,7 @@ export interface API {
toGitUri(uri: Uri, ref: string): Uri;
getRepository(uri: Uri): Repository | null;
init(root: Uri): Promise<Repository | null>;
init(root: Uri, options?: InitOptions): Promise<Repository | null>;
openRepository(root: Uri): Promise<Repository | null>
registerRemoteSourcePublisher(publisher: RemoteSourcePublisher): Disposable;