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. Aaron Meurer On Fri, Nov 22, 2013 at 2:49 PM, Ondřej Čertík <ondrej.cer...@gmail.com> wrote: > On Fri, Nov 22, 2013 at 12:05 PM, Aaron Meurer <asmeu...@gmail.com> wrote: >> You can think of a pull request as just an issue with code attached to >> it. In fact, it's even possible to convert an issue into a pull >> request if you have push access to the repo (I'm not sure if >> downgrading a pull request to an issue is possible; I'd have to >> check). So closing the pull request and opening a new issue seems >> almost pointless to me, especially if all the discussion is already on >> the pull request. > > Sure. But the whole point of my initial post is to somehow remove the > stalled PRs from the queue, > so that we don't see them by default. I don't know how to do that with > your proposal. > > 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 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. -- 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.