[INFO] Don't merge PRs with missing information

[Leif Hedstrom]

Hi all,

I’m going through all the PRs landed for 8.0.0, and there’s an alarming number 
of PRs without fields such as

        Milestone
        Author
        Label


This is not cool! Please, if you are a committer, and merging your own, or 
others, PRs, you are responsible for making sure that all this information is 
updated, and correct, before you merge such PRs.

Thanks,

— Leif

Github example query:  is:pr is:merged no:milestone