search

UU-ComputerScience / uhc

136 stars 21 forks source link

Missing new version announce? #64

Closed asr closed 8 years ago

asr commented 8 years ago

How can I know that a new version of UHC was released? Note that the information in releases is outdated.

atzedijkstra commented 8 years ago

Already for some time I add tags to the github versions/releases, but I recently found out that github does not show them. The intent is/was to let tags correspond to the versions of uhc-light in hackage. I still have to sort out why assigned tags are not visible at github.

regards, Atze

On 3 Dec, 2015, at 23:10 , Andrés Sicard-Ramírez notifications@github.com wrote:

How can I know that a new version of UHC was released? Note that the information in releases https://github.com/UU-ComputerScience/uhc/releases is outdated.

— Reply to this email directly or view it on GitHub https://github.com/UU-ComputerScience/uhc/issues/64.

phile314 commented 8 years ago

I'm not sure, but does "git push" also push tags to github by default? I think one has to use "git push --tags" to push all tags, or "git push THE_TAG_NAME" to push one specific tag. Does that help?

atzedijkstra commented 8 years ago

Ah yes, git push --tags does the job (done now). There are no explicit release notes currently as I maintain a changelog, but it should be relatively easy to (automatically) copy the changelog description for a version to the release notes.

A

On 4 Dec, 2015, at 11:56 , Philipp Hausmann notifications@github.com wrote:

I'm not sure, but does "git push" also push tags to github by default? I think one has to use "git push --tags" to push all tags, or "git push THE_TAG_NAME" to push one specific tag. Does that help?

— Reply to this email directly or view it on GitHub https://github.com/UU-ComputerScience/uhc/issues/64#issuecomment-161937170.

asr commented 8 years ago

Now that the tags were fixed, I can subscribe to the release feed for knowing that a new version of UHC was released. Thanks!