Gitlab maintenance activity starting at 1700 CET, Friday 15th of October !!!

Repository has no locks.