
5 Jul
2019
5 Jul
'19
3:37 a.m.
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