Missing new version announce? about uhc HOT 4 CLOSED

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 [email protected] 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 #64.

from uhc.

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?

from uhc.

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 [email protected] 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 #64 (comment).

from uhc.

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

from uhc.