from django.db import models


class User(models.Model):
    zeus_id = models.IntegerField()
    username = models.CharField(max_length=255)  # zeus username
    student_number = models.CharField(max_length=255)
    real_name = models.CharField(max_length=255)