/* generated using openapi-typescript-codegen -- do not edit */ /* istanbul ignore file */ /* tslint:disable */ /* eslint-disable */ export type PatchedDiscordUserConfig = { readonly id?: number; /** * edX user ID */ readonly user?: number; discord_user_id?: string; readonly date_created?: string; readonly last_modified?: string; };