<div dir="ltr"><br><br><div class="gmail_quote"><div dir="ltr">On Fri, 25 May 2018 at 14:01 Steve Dower <<a href="mailto:steve.dower@python.org">steve.dower@python.org</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">On 25May2018 1043, Brett Cannon wrote:<br>
> (and because people often forget to do `git pull --prune`), and two <br>
> because it eats up our CI (which is especially precious while we are <br>
> still on AppVeyor and the turn-around time there is so long).<br>
<br>
Don't we have branch filters on CI? (I certainly put them on the VSTS <br>
builds, and I thought they were there on AppVeyor/Travis too.)<br></blockquote><div><br></div><div>We have filters for Travis, not sure about AppVeyor. I think the branch that triggered this was also immediately opened as a PR and pushing to the branch updates the PR and so that also didn't help matters either.<br></div><div><br></div><div>But regardless, making everyone download the branch is still a bit annoying</div><div><br></div><div>-Brett<br></div><div> </div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
<br>
Cheers,<br>
Steve<br>
</blockquote></div></div>