git api: publishRepository

This commit is contained in:
João Moreno
2020-05-15 10:49:59 +02:00
parent 6981f7c7fb
commit 4c36782f8e
6 changed files with 112 additions and 29 deletions

View File

@@ -209,6 +209,7 @@ export interface RemoteSourceProvider {
readonly icon?: string; // codicon name
readonly supportsQuery?: boolean;
getRemoteSources(query?: string): ProviderResult<RemoteSource[]>;
publishRepository?(repository: Repository): Promise<void>;
}
export interface Credentials {