On Fri, May 28, 2021 at 9:45 AM Lawrence Mitchell <[email protected]> wrote:
> > > > On 28 May 2021, at 14:38, Stefano Zampini <[email protected]> > wrote: > > > > Mark > > > > That line is obtained via > > > > git describe --match "v*" > > > > At configure time. The number after the g indicates the commit > > As Matt says, you can do git checkout <commit-id> to go back at the > point were you configured PETSc > > In fact, I hadn't realised this but you can do: > > git checkout v3.15.0-531-g1397235 > > and git DTRT. > Thanks, that is nice. I will recommend this. I don't understand "git DTRT" > > Lawrence
