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 < [email protected]> 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 <[email protected]> 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 < >> [email protected]> wrote: >> >>> Colleagues >>> >>> Marge has failed to pick up !14242 for nearly 24 hrs. Is something >>> stuck? >>> >>> >>> Thanks >>> >>> Simon >>> _______________________________________________ >>> ghc-devs mailing list >>> [email protected] >>> http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs >>> >> >> >> -- >> brandon s allbery kf8nh >> [email protected] >> > -- brandon s allbery kf8nh [email protected]
_______________________________________________ ghc-devs mailing list [email protected] http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs
