Re: Merge other developers PRs?


Bob Jacobsen
 

We’re starting to see overlaps in the 41 outstanding PRs.

Although other aspects are not clear, it seems we do have a consensus that we can merge PRs with one or more positive non-author reviews, no outstanding comments, and required CI complete.

Unless somebody objects, late this evening I’ll start merging PRs that meet those criteria, from lowest numbered up.

Let me know if you’re prefer I not do this.

(And I’d appreciate somebody taking a look at #8869, #8879, #8883, #8887, and #8892)

Bob

Bob Jacobsen
@BobJacobsen

Join jmri@jmri-developers.groups.io to automatically receive all group messages.