Streamlining the approval of PRs

Hello,

When the CG comes to the point of approving a PR, there’s always the
lingering question “has anyone read it”. I believe that we can all mark
pull requests via the review process as either “accepted” or “changes
required”.

If you read a PR, please take a moment to make a review. In an ideal
world, I’d want every PR to have at least two favorable reviews and no
negative reviews before we accept it.

(If you try to make a review and discover that you can’t, please let me
know. It’s possible that I’ll need to tinker with the settings in
GitHub.)

                                        Be seeing you,
                                          norm

--
Norm Tovey-Walsh
Saxonica