I can't tell. Like I said, the UI is pretty confusing. We'll have to play around with it.
Aaron Meurer On Wed, Sep 14, 2016 at 9:31 PM, Ondřej Čertík <[email protected]> wrote: > I was just about to post here: > > https://github.com/blog/2256-a-whole-new-github-universe- > announcing-new-tools-forums-and-features > > Will this make it obvious when a PR is waiting for the author to do > more work, and can the author "flip a switch" and we can quickly see > that the work got done? > > Ondrej > > On Wed, Sep 14, 2016 at 12:19 PM, Aaron Meurer <[email protected]> wrote: > > 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/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 [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. > >> > >> 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. > > -- > 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/CADDwiVA_tKqLrRfxHNgGQ6rVSQqGi4pA%3DVHJNNcUcdO25rpY9A%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/CAKgW%3D6JghYv4nA3fN8WPqRM5Qd4PjVxD3EK-DKLL2DXx_3KdYw%40mail.gmail.com. For more options, visit https://groups.google.com/d/optout.
