On Mon, Nov 25, 2013 at 4:38 PM, Aaron Meurer <[email protected]> wrote: > Yes, that's a good point. So we have to balance having pull requests > that aren't really pull requests, and filling up the pull request > page, and moving such things to issues, where we have to do a little > more work to see the old discussion. > > 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. I would apply the same rule (whatever we > decide on) to them as well, that is, don't do anything to them unless > no work is being done on them.
Work in progress PRs have [WIP] in the title and if they are active, I see no issue with them being in the queue. Ondrej -- 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.
