GitLab

i'd do it right away but since i didn't create the repo i don't want to trigger unexpected merges.

/cc @sebastian.krzyszkowiak - if sounds o.k., just switch.