Admin message

We will have two short downtimes of this gitlab server on Friday, 5.12., around 14.45-15.15 and Monday,8.12., 11:45-12:30 (we need to switch to another power line)