On Fri, Nov 22, 2013 at 12:05:07PM -0700, Aaron Meurer 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).
I think, no: http://stackoverflow.com/questions/13907553/convert-github-pull-request-to-issue > 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. Yes, the original proposal as-is makes sense for true separate PRs and issues. But some labeling policy maybe useful. -- 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.
