Skip to content
Snippets Groups Projects
Commit d7b76cdf authored by michael.minelli's avatar michael.minelli
Browse files

User => Adapt interface to new db schema

parent 796ac23c
No related branches found
No related tags found
No related merge requests found
import UserRole from './UserRole';
import Exercise from './Exercise';
import Assignment from './Assignment';
import GitlabProfile from '../../shared/types/Gitlab/GitlabProfile';
interface User { interface User {
id: number; id: number;
firstName: string; name: string;
lastName: string;
mail: string; mail: string;
gitlabId: number; role: UserRole;
role: string; gitlabUsername: string;
gitlabLastInfo: GitlabProfile;
isTeachingStaff: boolean; isTeachingStaff: boolean;
isAdmin: boolean;
deleted: boolean; deleted: boolean;
assignments?: Array<Assignment>;
exercises?: Array<Exercise>;
} }
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment