<div dir="ltr"><div class="gmail_extra"><div class="gmail_quote"><div>Thanks Steffen, your summary is IMO quite accurate.</div><div><br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">

Using the tags you can easily find and reproduce former states of the<br>
software. This is only true for a complete snapshot of all packages, so<br>
it it only useful directly after a autoproj commit. Both can be combined<br>
into a single command<br></blockquote><div>They can, but they should not IMO. The same way than git commit and git tag are two different things, I would keep autoproj commit and autoproj tag separate. If only to reuse prior knowledge about git.</div>
<div>
<br></div><div>Sylvain</div></div></div></div>