Re: Merge other developers PRs?


danielb987
 

Mee to.

Daniel

2020-08-05 01:29 skrev 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.