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.
Aaron Meurer On Fri, Nov 22, 2013 at 10:26 AM, Ondřej Čertík <[email protected]> wrote: > On Fri, Nov 22, 2013 at 8:52 AM, Aaron Meurer <[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? > > Except if you close it, then I think the corresponding issue is close as well. > My idea was to have some issue somewhere open, so that people can work on it. > > 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. -- 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.
