Github has labels but only on the issues view. Can you create labels? Aaron Meurer
On Nov 22, 2013, at 9:08 AM, Sergey B Kirpichev <[email protected]> wrote: >> If we move our issues to github, which I do still want to do, then >> wouldn't this be pointless since issues and pull requests are basically >> the same thing? > > Anyway, I think we want something like "stalled" label (to filter out > inactive PRs) for PRs like this (unfortunately, GitHub sucks here). > > -- > 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 [email protected]. > To post to this group, send email to [email protected]. > Visit this group at http://groups.google.com/group/sympy. > For more options, visit https://groups.google.com/groups/opt_out. -- 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 [email protected]. To post to this group, send email to [email protected]. Visit this group at http://groups.google.com/group/sympy. For more options, visit https://groups.google.com/groups/opt_out.
