> On Jun 8, 2017, at 6:53 PM, Leif Hedstrom <[email protected]> wrote:
>
> We are doing very poorly on marking PRs with appropriate Milestones and
> labels. From hereon, please do *NOT* merge a PR which does not have the
> appropriate labels / Milestones. Taking this little time to get this right is
> really important, because otherwise, the RMs job is near impossible.
>
To get an idea how bad it is (and maybe even correct some of this), do this
search on Github:
is:merged is:pr no:milestone
Not cool.
— Leif
