Add extension point for repository creators (#1657)

Adds an extension point for repository creator such as repository create, repository import or repository mirror.
This commit is contained in:
Sebastian Sdorra
2021-05-14 09:15:35 +02:00
committed by GitHub
parent 640a270e1d
commit 8e16fa11c9
19 changed files with 428 additions and 223 deletions

View File

@@ -30,7 +30,7 @@ type ExtensionRegistration<P, T> = {
extensionName: string;
};
export type ExtensionPointDefinition<N extends string, T, P> = {
export type ExtensionPointDefinition<N extends string, T, P = undefined> = {
name: N;
type: T;
props: P;