[petsc-dev] Tag name v3.15

[Satish Balay]

On Wed, 31 Mar 2021, Jed Brown wrote:

> > Wrt v3.15.0 vs v3.15 I don't remember the exact reason. I suspect we
> > just stuck with this notation for a long time [and didn't want to
> > change it]
> 
> I believe we were adopting the convention from Git and others.

Ah - ok.


Looking at our mercurial repo - I see:

>>
$ hg tags
tip                            24855:0b3db6507615
release-3.3                    23582:adad7ff64fb1
release-3.2                    20307:cad0859b4453
release-3.1                    15532:f6965e7f147c
release-3.0.0                  13216:621178841b37
release-2.3.3                  10547:c59a3fc37afc
release-2.3.2                   9364:1aa4d6336f27
>>>

So we did change from 'release-3.0.0' to 'v3.0.0' and then 'v3.1' [in our git repo]

Satish