Repository has no tags yet
Use git tag command to add a new one:
git tag -a v1.4 -m 'version 1.4'
Team wikis have been unfrozen! You can use this time to update your team's results, final corrections, or project amendments. Final freeze will happen on December 4th, 15h UTC.
Use git tag command to add a new one:
git tag -a v1.4 -m 'version 1.4'