Admin message

GitLab upgrade will take place Tuesday 18/11 from 17:00-24:00. Make sure you have your repos locally and do not try to use GitLab during this time, even if it seems to work, as you may lose your files etc.