[Agda] add a "newbie questions" label to issue tracker?

[Ulf Norell]

I don't know.. won't it encourage people to submit newbie questions to the
issue tracker where they don't really belong?

/ Ulf

On Tue, Oct 11, 2016 at 9:08 PM, Martin Stone Davis <
martin.stone.davis at gmail.com> wrote:

> It would be helpful (to newbies like me) if issues like this one
> <https://github.com/agda/agda/issues/2161> receive a special label, such
> as "newbie questions".
>
> _______________________________________________
> Agda mailing list
> Agda at lists.chalmers.se
> https://lists.chalmers.se/mailman/listinfo/agda
>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.chalmers.se/pipermail/agda/attachments/20161011/de019710/attachment.html