Marge has been stabilised
matthewtpickering at gmail.com
Tue Feb 12 20:21:40 UTC 2019
Yes, on a quiet day she will idly wait for the opportunity to merge
two MRs rather than try and merge just one.
I don't think this is a bad default as her CI cycle has proved to be
quite long so only 2-3 batches happen per day at most.
On Tue, Feb 12, 2019 at 6:36 PM Alan & Kim Zimmerman
<alan.zimm at gmail.com> wrote:
> > Every 30 minutes whilst idle she will try to find new MRs to batch
> > together. If she finds at least two MRs to batch together then she
> > creates a batch as a new merge request. A batch is the series of MRs
> > rebased on top of each other from oldest to newest.
> Does this mean that on a quiet day (if there are ever any for GHC dev), a lone merge
> will languish until someone else puts forward a valid merge too?
> Or will marge just merge a non-batched lone merge request?
More information about the ghc-devs