Github tag style

[hpretl]

Feature Description

Recently, the tag style for Yosys changed from yosys-0.44 to 0.45. Is this the new style going forward, or is this a typo? In either case, please strive for a consistent tag style between yosys, sby, mcy, and eqy.

[whitequark]

#4578

[whitequark]

For the record, I would have personally preferred vX.Y rather than X.Y because the former allows listing all tags with git tag v* and the latter requires you to do the far more error prone git tag '*.*'. (There is no way to write a glob pattern matching a variable digit amount number.)

[KrystalDelusion]

ReadtheDocs supposedly follows PEP440, which does allow for the preceding v character, although I'm not sure how exactly that fits with the existing docs versioning. I was actually under the impression that the plan was to tag releases with both the yosys-0.xx style and the 0.xx for docs.

[whitequark]

although I'm not sure how exactly that fits with the existing docs versioning.

It strips the v prefix.

[KrystalDelusion]

Perfect. I'm pro v prefix then