Fix git URLs for moved projects
Passed
Robin Sonnabend
created pipeline for commit
c237d98d
, finished
1 related merge request: !16 Fix git URLs for moved projects
1 minute 25 seconds, queued for 7 seconds