IIRC it's been discussed but that part of the bot is hard to change.

On Mon, Apr 28, 2025 at 4:03 PM Simon Peyton Jones <simon.peytonjones@gmail.com> wrote:
> Marge is configured to require at least two MRs.

Interesting, thank you.   I didn't know that.   Maybe after a while, if there is only one, it should do it anyway.

Simon

On Mon, 28 Apr 2025 at 17:24, Brandon Allbery <allbery.b@gmail.com> wrote:
The dashboard (https://grafana.gitlab.haskell.org/d/iiCppweMz/marge-bot?orgId=2&from=now-24h&to=now&timezone=browser&refresh=30m) says it's the only mergeable MR, and Marge is configured to require at least two MRs.

On Mon, Apr 28, 2025 at 12:18 PM Simon Peyton Jones <simon.peytonjones@gmail.com> wrote:
Colleagues

Marge has failed to pick up !14242 for nearly 24 hrs.  Is something stuck?


Thanks

Simon
_______________________________________________
ghc-devs mailing list
ghc-devs@haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs


--
brandon s allbery kf8nh


--
brandon s allbery kf8nh
allbery.b@gmail.com