29 Mar
2019
29 Mar
'19
1:59 p.m.
Hello everyone, I have documented our current conventions regarding GitLab label usage on the Wiki [1]. Please do keep this up-to-date if you create, remove, or rename a label. As always, feedback is welcome Cheers, - Ben [1] https://gitlab.haskell.org/ghc/ghc/wikis/GitLab-Labels/