New labels

Hello folks,

To help keep track of the state of PRs, I’ve added two new labels:

Revise - meaning that technical changes have been requested and it
         needs to be revised.

Blocked - meaning it has merge conflicts, or doesn’t build successfully,
          or some other problems not specifically related to the
          technical content.

If you have a PR that needs revision, try to remember to remove the
label after you revise it! :-)

                                        Be seeing you,
                                          norm

--
Norm Tovey-Walsh
Saxonica