meaning of title of merge request on gitlab?

Norman Ramsey nr at
Fri Jan 28 15:30:48 UTC 2022

I've opened a very, very preliminary MR.  The Commentary instructs me
to tag it "WIP: <title>", but gitlab seems to suggest that in order to 
prevent it from being merged, I need "Draft: <title>".  When a merge
request is both WIP and Draft, how should it be titled?

(The MR in question is


More information about the ghc-devs mailing list