"git@gitlab.inria.fr:mgkit/syntax_hightlighting_smg.git" did not exist on "dev"
Use milestones to track issues and merge requests over a fixed period of time
Organize issues and merge requests into a cohesive group, and set optional start and due dates. Learn more.