Re: Update to auto-labeling of pull requests on GH

On 13 Feb 2014, at 11:36, Tobie Langel <tobie.langel@gmail.com> wrote:

> I ran the script against pre-existing pull requests but have run into issues in doing so, so I'm not sure whether I caught all of them or not. If you bump into a pull request which is missing the correct tags, please add them manually. Thanks.

That's now fixed, and all past and present pull requests have been tagged.

--tobie

Received on Thursday, 13 February 2014 15:37:05 UTC