<div dir="ltr"><div dir="ltr"><br></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Fri, May 28, 2021 at 9:45 AM Lawrence Mitchell <<a href="mailto:wence@gmx.li">wence@gmx.li</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><br>
<br>
> On 28 May 2021, at 14:38, Stefano Zampini <<a href="mailto:stefano.zampini@gmail.com" target="_blank">stefano.zampini@gmail.com</a>> wrote:<br>
> <br>
> Mark<br>
> <br>
> That line is obtained via<br>
> <br>
> git describe --match "v*"<br>
> <br>
> At configure time. The number after the g indicates the commit<br>
> As Matt says, you can do git checkout <commit-id> to go back at the point were you configured PETSc<br>
<br>
In fact, I hadn't realised this but you can do:<br>
<br>
git checkout v3.15.0-531-g1397235<br>
<br>
and git DTRT.<br></blockquote><div><br></div><div>Thanks, that is nice. I will recommend this. </div><div><br></div><div>I don't understand "git DTRT"</div><div> </div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">
<br>
Lawrence</blockquote></div></div>