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

Thanks Tobie, this is a huge help. Is there an ETA for posting to the
appropriate mailing lists?


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

> 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
>