release 4.2 should be tagged 4.2.0
berndpfrommer opened this issue · 3 comments
The tag 4.2 is inconsistent with the major.minor.patch convention that is used by most packaging frameworks.
Could somebody please change the tag from 4.2 to 4.2.0, or add an alias (that most likely will work for getting the debian packaging working):
These commands should suffice to add an alias:
git tag 4.2.0 4.2
git push origin --tags
The above commands were gleaned from the discussion on stack overflow where you can also learn how to rename a tag outright (essentially above steps, then removing the 4.2 tag).
@berndpfrommer I am seeing that a tag alias for 4.2.0 has been created. Can you please check if everything looks good?
Works, thanks much!
New Ubuntu PPA is ready with release 4.2.0:
https://launchpad.net/~borglab/+archive/ubuntu/gtsam-release-4.2