Re: Merge other developers PRs?


Mee to.


2020-08-05 01:29 skrev Dave Heap:

I support that.

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 to automatically receive all group messages.