<div dir="ltr"><div class="gmail_extra">On Mon, Jan 14, 2013 at 9:28 PM, Anton Vodonosov <span dir="ltr"><<a href="mailto:avodonosov@yandex.ru" target="_blank">avodonosov@yandex.ru</a>></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"><br>
Sorry it took long to reply.<br>
<br>
I want to say that the approach is not so manual.<br>
<br>
I run few commands (git pull, ecl-rebuild.sh, run-agent.sh)<br>
and computer tests 800+ libraries on the new ECL.<br>
<br>
Then I run another command from slime and have a<br>
comparison of these results with results<br>
of the old version.</blockquote></div><br>Thanks for the long answer, Anton. I suspect this is the only reasonable way to go. Right now I have an automated script that runs the tests every night there are new commits, comparing with the last version. This leads to strange results, as sometimes the script may decide to run the tests in between two commits, not at a point where ECL is stable enough.</div>

<div class="gmail_extra"><br></div><div class="gmail_extra">I am pondering to change the version number system, changing the commit id with a GMT date of the commit. The only reason why I am unsure about this is because unlike commit ids, I cannot see anywhere something that warrants that the commit date is stable across git implementations and when pulling/pushing patches between computers.</div>

<div class="gmail_extra"><br></div><div class="gmail_extra" style>It is for this reason that right now, to sort commits, I am using a stupid hack that checks out a file and uses its date to sort the commit IIRC. Unfortunately the machine that does this died during Xmas, and I am in the process of recovering the data, together with all of ECL's homepage, test reports, etc.</div>

<div class="gmail_extra"><br></div><div class="gmail_extra">Juanjo<br><br>-- <br>Instituto de Física Fundamental, CSIC<br>c/ Serrano, 113b, Madrid 28006 (Spain) <br><a href="http://juanjose.garciaripoll.googlepages.com" target="_blank">http://juanjose.garciaripoll.googlepages.com</a>
</div></div>