I agree that closing is not a good idea.
Jason moorepants.info +01 530-601-9791 On Thu, Sep 8, 2016 at 12:15 PM, Ondřej Čertík <ondrej.cer...@gmail.com> wrote: > On Thu, Sep 8, 2016 at 12:09 PM, Aaron Meurer <asmeu...@gmail.com> wrote: > > I'm not a fan of that. Closing gives people the impression that the pull > > request is being rejected. > > I know. GitHub should improve this workflow a lot. > > 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 https://groups.google.com/group/sympy. > To view this discussion on the web visit https://groups.google.com/d/ > msgid/sympy/CADDwiVBecdOpF%3D3qqgooaiZwepf_%2Baur7kiC- > Ufu25p_6upyHQ%40mail.gmail.com. > For more options, visit https://groups.google.com/d/optout. > -- 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 https://groups.google.com/group/sympy. To view this discussion on the web visit https://groups.google.com/d/msgid/sympy/CAP7f1Agjqo08YJiLcu19-xmW9okttHOn9rm2gth-rF1Y772XJA%40mail.gmail.com. For more options, visit https://groups.google.com/d/optout.