GitLab update on Thursday, 10 July, 9:30 a.m. CEST
more timing instrumentation and option to not flush gpfs cache