!! The university Gitlab servers will be under database migration and maintenance on 6.5. from 08:00 onwards. !!
!! There will be some sporadic server outages of undetermined duration during the day and we suggest you avoid any larger projects or CI/CD runs during this period. !!
!! There will be an announcement here when the maintenance is done. !!
enabled an automatic merge when the pipeline for 012c74db succeeds
merged
mentioned in commit 31c0fad1