<div dir="ltr"><br><div class="gmail_extra"><br><div class="gmail_quote">On Tue, Dec 20, 2016 at 6:22 PM, Stephan Bergmann <span dir="ltr"><<a href="mailto:sbergman@redhat.com" target="_blank">sbergman@redhat.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><span>On 12/20/2016 01:44 PM, Huzaifa Iftikhar wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
Thanks for the reply, I understand the situation.<br>
Should I wait for Norbert Thiebaud to reply or should I submit my patch<br>
once again ?<br>
</blockquote>
<br></span>
Besides waiting for Norbert to eventually fix the underlying problem, you can additionally:<br>
<br>
* Either rebase your Gerrit change (e.g., in the Gerrit web UI, press the "Rebase" button),<br></blockquote><div><br></div><div>what does rebase do ? </div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
<br>
* or prepare a new revision of your change (seeing that it received a -2 comment, so probably needs updating), and push that to Gerrit.<br></blockquote><div><br></div><div>Should I submit a new commit or just amend changes and push it to the existing patch ?</div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
<br>
Either of those should trigger a new Jenkins build, and with some luck that build will pick a Windows bot that doesn't run into this problem (though with some bad luck, it might pick the "infected" bot again and fail again).<br></blockquote><div><br></div><div> Yeah I hope it builds successfully the next time.</div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
<br>
[In the future, it's always better to keep the mailing list on CC with follow-ups like this.  Then others can add their comments, and you're not necessarily waiting for only me to write an answer.]<br></blockquote><div><br></div><div>Okay thanks I just did that :) </div></div><br></div></div>