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.