<div dir="ltr"><div class="gmail_extra"><br><div class="gmail_quote">On Wed, Jul 9, 2014 at 3:15 AM, Tobias Grosser <span dir="ltr"><<a href="mailto:tobias@grosser.es" target="_blank">tobias@grosser.es</a>></span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div class=""><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
Sure, would it be OK to revert this change meanwhile to get the build bot<br>
clean again.<br>
<br>
</blockquote>
<br>
No. I think it is highly likely, we are going to stick with this change.<br>
</blockquote>
<br></div>
Daniel, I believe it is common habit that if someone requests a revert, this revert is performed and the discussion takes place.</blockquote></div><br>I really don't think revert is the right approach here. I've said that on this thread, before this thread, and I'll continue to say that.</div>
<div class="gmail_extra"><br></div><div class="gmail_extra">Fundamentally, I do not think that a perfect format-enforcing build bot is a good idea, much less sufficient cause to revert. There are no *tests* failing or *builds* failing because of this commit. This isn't blocking progress for anyone. Quite the contrary, reverting the patch would block progress. While its cool that you disagree about the bot being a good idea, I don't think that means we have to revert changes to clang-format just because of the bot...</div>
</div>