+1 as well, I think this is almost always what we want. On Mon, Mar 27, 2017 at 4:53 AM, MinRK <[email protected]> wrote:
> I think it's the right thing ~all of the time. Let's use it everywhere. > > On Fri, Mar 24, 2017 at 8:04 PM, Matthias Bussonnier < > [email protected]> wrote: > >> Hi all, >> >> Travis recently introduced auto-cancellation as a beta feature[1]. It >> can be activated both on branches and/or PR. >> >> As they explain on the blog post: >> >> > You know those moments where you push some changes to GitHub, only to >> realize that you spelt something wrong? If you're like me you probably fix >> the mistake and push the changes within a minute. >> >> Well with auto cancellation, if you push a commit, the previous ones >> will be cancelled. >> >> This should allow test on PRs to finish faster, and also likely >> decrease the global load on travis-ci, which is already providing all >> this infrastructure for free for open source projects. >> >> So I believe it is something we should do on most of our repos. I'm >> thus proposing that we enable this for PR on most of IPython/Jupyter >> repos and make it the default behavior, unless it does not make sens, >> which we could decide on a case-by-case basis. >> >> Is anyone opposed to enabling such option ? does anyone also agrees >> that it's the right thing to enable ? What are your thoughts ? >> >> Thanks, >> -- >> Matthias >> >> >> [1]:https://blog.travis-ci.com/2017-03-22-introducing-auto-cancellation >> >> -- >> You received this message because you are subscribed to the Google Groups >> "Project Jupyter" 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]. >> To view this discussion on the web visit https://groups.google.com/d/ms >> gid/jupyter/CANJQusUqHMuNoh_pnVVLePJ-NDWi8efXCQ0jPtg_g4Bc7g5 >> 1Og%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 > "Project Jupyter" 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]. > To view this discussion on the web visit https://groups.google.com/d/ > msgid/jupyter/CAHNn8BX1yyh2ohJCRKTT%3DXQLUgnY1FJnysWQXg92jeLu4Yj6G > A%40mail.gmail.com > <https://groups.google.com/d/msgid/jupyter/CAHNn8BX1yyh2ohJCRKTT%3DXQLUgnY1FJnysWQXg92jeLu4Yj6GA%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 "Project Jupyter" 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]. To view this discussion on the web visit https://groups.google.com/d/msgid/jupyter/CALUXcBzQhDfg1NWNq2VmNXkTJhoQxPMO5%3DahNwuvUSPYj49h8A%40mail.gmail.com. For more options, visit https://groups.google.com/d/optout.
