Add --gitlab option to mh_style and mh_lint - #303

Add --gitlab option to mh_style and mh_lint#303

LucasDooms wants to merge 1 commit into

florianschanda:masterflorianschanda/miss_hit:masterfrom

LucasDooms:gitlab-code-quality-outputLucasDooms/miss_hit:gitlab-code-quality-outputCopy head branch name to clipboard