On Friday, April 17, 2015 at 1:34:55 PM UTC-5, Joachim Durchholz wrote: > > - Help labeling. > > I haven't found a way to enable tagging for people that do not have full > write access to the repository. I suspect GitHub does not offer any. > This is also the reason why tagging does not happen very much. >
Hmmm, you're right... <https://help.github.com/articles/permission-levels-for-an-organization-repository/> It would be nice to allow the general public to tag issues, but I could also see an argument against that due to "potential vandalism". In general, I'd trust people not to mess with things, but can also see why it is the way it is. Once we get through the huge backlog, having the core team tag issues as they come in should be a lot more manageable. I have another label question: - `Needs better patch`: could be useful to indicate PR status to devs, but mostly I feel that it comes off as rude to the person making the PR. I'd like to remove it unless someone makes a strong argument to the contrary. -- You received this message because you are subscribed to the Google Groups "sympy" group. To unsubscribe from this group and stop receiving emails from it, send an email to sympy+unsubscr...@googlegroups.com. To post to this group, send email to sympy@googlegroups.com. Visit this group at http://groups.google.com/group/sympy. To view this discussion on the web visit https://groups.google.com/d/msgid/sympy/7ed5e065-3b3e-4210-9e1a-520b8dee133b%40googlegroups.com. For more options, visit https://groups.google.com/d/optout.