Am 17.04.2015 um 07:40 schrieb James Crist:
- Brief discussion on labeling system.
Actually I think what you're proposing is fine.
If it's found lacking, we can easily fix it.
- 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.
BTW I'm super happy that you've picked up with the house cleaning. It
was long overdue, and really necessary IMHO.
--
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/55315249.3070703%40durchholz.org.
For more options, visit https://groups.google.com/d/optout.