<div dir="auto">No problem, thanks for the update Ben! Something to look forward to</div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Thu, Dec 10, 2020, 00:11 Ben Gamari <<a href="mailto:ben@well-typed.com">ben@well-typed.com</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Ben Gamari <<a href="mailto:ben@well-typed.com" target="_blank" rel="noreferrer">ben@well-typed.com</a>> writes:<br>
<br>
> tl;dr. On Thursday 10 Dec, Marge-bot will be relocated to a retirement<br>
>        facility. Her duties will henceforth be carried out by GitLab's<br>
>        Merge Train functionality.<br>
><br>
><br>
> Hi all,<br>
><br>
> When GHC moved to GitLab two years ago the platform lacked a critical<br>
> feature: the ability to manage a queue of merge requests slated to be<br>
> merged. For the past two years we have been using @marge-bot for this<br>
> functionality. While Marge has served us well, she also introduces her<br>
> fair share of failure modes.<br>
><br>
> In the meantime GitLab has grown proper support for our use-case in the<br>
> form of the "merge train" mechanism [1]. In light of Marge's growing<br>
> intransigence [2], I will grant her a well-earned retirement and begin<br>
> using merge trains for merging MRs starting on Thursday.<br>
><br>
Unfortunately, on further testing I found a few additional features<br>
missing from GitLab's merge train implementation that precludes our use<br>
of it currently. It's possible that this will be fix in the near future<br>
but until then it looks like we will need to stick with Marge. I have<br>
opened #19046 to track the migration.<br>
<br>
Anyways, please continue to assign mergeable MR's to @marge-bot until<br>
further notice. I'll roll back the Wiki changes tomorrow.<br>
<br>
Apologies for the confusion!<br>
<br>
Cheers,<br>
<br>
- Ben<br>
_______________________________________________<br>
ghc-devs mailing list<br>
<a href="mailto:ghc-devs@haskell.org" target="_blank" rel="noreferrer">ghc-devs@haskell.org</a><br>
<a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs" rel="noreferrer noreferrer" target="_blank">http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs</a><br>
</blockquote></div>