Skip to content

Automate releases, make sure git tags are added #54

Open
@obo

Description

@obo

We need to have a very simple way of figuring out the commit ID given the simple numbered version of a released SLTev. That's what tags are for. Please use git tags -- and please add manually the tag for the current version at least, so far no tag has been created.

To make sure we no longer forget to create tags, please write a 'make-release' script which will do all the necessary steps, including the creation of the tag.

I am assigning this to Mohammad but adding Matus, because Matus will know how to this releasing and tagging properly.

Metadata

Metadata

Labels

No labels
No labels

Type

No type

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions