Re: Merge other developers PRs?


Dave Heap
 

I support that.

Dave

On 5 Aug 2020, at 6:53 AM, Bob Jacobsen <@BobJacobsen> wrote:

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.

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