During summer vacation, Gitlab will be restart frequently. Use it carefully.
add student id and name See merge request !1