So it looks like GitHub has added direct support for this. The UI so far is a little confusing. Hopefully they will improve that.
Aaron Meurer On Thu, Sep 8, 2016 at 3:59 PM, Jason Moore <[email protected]> wrote: > 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 <[email protected]> > wrote: > >> On Thu, Sep 8, 2016 at 12:09 PM, Aaron Meurer <[email protected]> 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 [email protected]. >> To post to this group, send email to [email protected]. >> Visit this group at https://groups.google.com/group/sympy. >> To view this discussion on the web visit https://groups.google.com/d/ms >> gid/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 [email protected]. > To post to this group, send email to [email protected]. > 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 > <https://groups.google.com/d/msgid/sympy/CAP7f1Agjqo08YJiLcu19-xmW9okttHOn9rm2gth-rF1Y772XJA%40mail.gmail.com?utm_medium=email&utm_source=footer> > . > > 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 [email protected]. To post to this group, send email to [email protected]. 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/CAKgW%3D6L%2BQ8Js%2BAANRSL7ebqKtAujzdYyq03eQr76JeBqdwYDew%40mail.gmail.com. For more options, visit https://groups.google.com/d/optout.
