On Sat, Feb 23, 2013 at 2:33 PM, Simon Peyton-Jones <span dir="ltr">&lt;<a href="mailto:simonpj@microsoft.com" target="_blank">simonpj@microsoft.com</a>&gt;</span> wrote:<br><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">

I&#39;m ok with changing my workflow if that&#39;d give better history. But someone would need to explain the new workflow carefully on the wiki.    At the moment my general plan is:<br>
<br>
* make some changes<br>
* commit as patches<br>
* validate<br>
* pull<br>
* fix conflicts<br>
* revalidate if the conflicts look at all suspicious<br>
* push<br></blockquote><div><br></div><div>It ought to be the same, with pull replaced with pull --rebase. That being said it&#39;s late here and I haven&#39;t thought it over carefully. I suggest you try it on a small change first. :)</div>

<div> </div></div>