> That isn't to mention pull requests that aren't intended to be merged, > but are just work in progress or proof of concept. I personally like > having such things as pull requests because it makes it easy to see > and comment on the code.
Closed pull request is a pull request too... You can add a new code to the branch, you can comment anything, you can reference this pr, etc. The main question of this thread - how to select active, waiting for review pr's. Closest solution for now is to use github's sorting capabilities (e.g. "recently updated"), which is far from ideal. -- 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. For more options, visit https://groups.google.com/groups/opt_out.
