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 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 allbery.b@gmail.com

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