Re: AW: August hiatus and pull requests

> I’ll be glad to review/approve PRs in August, and I’d be content to
> see editorial and minor PRs merged before September to avoid
> conflicts.

I propose the following process.

1. If you see a PR that you think is editorial and ready to be merged,
   approve it.

2. If you see a PR that appears to be editorial but you think it needs
   discussion, add a comment and the “Requires confirmation” label.

3. If I see PRs that have been open for at least a couple of days, have
   no comments or labels suggesting they require discussion, and have at
   least one approval (in addition to my own, naturally), I’ll merge
   them.

Sounds good?

                                        Be seeing you,
                                          norm

--
Norm Tovey-Walsh
Saxonica

Received on Thursday, 20 July 2023 07:30:38 UTC