Adds onDidPublish to Git api

This commit is contained in:
Eric Amodio
2021-01-12 12:01:06 -05:00
parent 8832366467
commit 3767f97bc3
4 changed files with 30 additions and 3 deletions

View File

@@ -231,9 +231,15 @@ export interface PushErrorHandler {
export type APIState = 'uninitialized' | 'initialized';
export interface PublishEvent {
repository: Repository;
branch?: string;
}
export interface API {
readonly state: APIState;
readonly onDidChangeState: Event<APIState>;
readonly onDidPublish: Event<PublishEvent>;
readonly git: Git;
readonly repositories: Repository[];
readonly onDidOpenRepository: Event<Repository>;