GitLab has been successfully upgraded to Enterprise Edition Ultimate. Please see https://doku.lrz.de/display/PUBLIC/GitLab+Ultimate+Migration for more details.

Commit d71c4cd5 authored by Benedikt Zoennchen's avatar Benedikt Zoennchen

Merge branch 'dev/BHM' into 'master'

Dev/bhm

See merge request !63
parents dac80587 e631854e
Pipeline #114756 passed with stages
in 135 minutes and 8 seconds