2022-12-05 10:05:41 -08:00
|
|
|
import {LogLevel} from "@github/actions-languageservice/log";
|
|
|
|
|
export {LogLevel} from "@github/actions-languageservice/log";
|
|
|
|
|
|
2022-11-08 17:00:59 -08:00
|
|
|
export interface InitializationOptions {
|
|
|
|
|
sessionToken?: string;
|
2022-12-05 10:05:41 -08:00
|
|
|
|
2022-11-08 17:00:59 -08:00
|
|
|
repos?: RepositoryContext[];
|
2022-12-05 10:05:41 -08:00
|
|
|
|
|
|
|
|
logLevel?: LogLevel;
|
2022-11-08 17:00:59 -08:00
|
|
|
}
|
|
|
|
|
|
|
|
|
|
export interface RepositoryContext {
|
|
|
|
|
id: number;
|
|
|
|
|
owner: string;
|
|
|
|
|
name: string;
|
|
|
|
|
|
|
|
|
|
workspaceUri: string;
|
|
|
|
|
}
|