meaning of title of merge request on gitlab?
Norman Ramsey
nr at cs.tufts.edu
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 https://gitlab.haskell.org/ghc/ghc/-/merge_requests/7442)
Norman
More information about the ghc-devs
mailing list