So, just checking: is the recommended route to merging now to use the Marge Bot instructions posted previously? (That is, get 1+ approvals and then assign to Marge.)
Thanks, Richard > On Feb 6, 2019, at 5:23 PM, Ben Gamari <b...@smart-cactus.org> wrote: > > Phyx <loneti...@gmail.com> writes: > >> That aside, the CIs don't seem stable at all. Frequent timeouts even before >> they start. I have been trying to merge 3 changes for a while now and >> everytime one of them times out and I have to restart the timed out ones. >> Then there are merge conflicts and I have to start over. >> > Indeed Marge was causing a remarkable amount of CI traffic, leading to > long queues, and eventually build timeouts. Thankfully Matthew > investigated why Marge's batch mode wasn't batching and consequently > things should now be much better. > > Sorry for the previous inconvenience! > > Cheers, > > - Ben > > _______________________________________________ > ghc-devs mailing list > ghc-devs@haskell.org > http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs _______________________________________________ ghc-devs mailing list ghc-devs@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs
