Gitlab workflow

[Simon Peyton Jones]

Ben
Still trying to understand GitLab.  Look at MR 1352 https://gitlab.haskell.org/ghc/ghc/merge_requests/1352

  *   It clearly says on the first page "The changes were not merged into master"
  *   But lower down (at the end) it says "Merged in 80af..."
What should I believe? Merged or not merged?
Also

  *   It would be really helpful if a MR status, displayed prominently at the top, had "Merged" as a status, not just "Closed".  If I'm trying to check if my has landed, and I see "Closed", that could mean that someone has (doubtless for good reasons) closed it manually, and that it will never land.

Would that be possible?
Thanks
Simon
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/ghc-devs/attachments/20190705/5e621d0c/attachment.html>