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

[Martin Stone Davis]

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

-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.chalmers.se/pipermail/agda/attachments/20161011/9ca036ec/attachment.html