Add a command to push a tag to the repository

The tag is named `v$version` and will thus appear in the tags/releases tabs of the repository, where we can add text explaining new features, API changes, etc.
This commit is contained in:
Benjamin Bouvier
2019-02-25 19:03:37 +01:00
committed by Dan Gohman
parent ec521088b7
commit a06d257253

View File

@@ -34,7 +34,9 @@ cargo update
# Note that libraries need to be published in topological order. # Note that libraries need to be published in topological order.
echo git commit -a -m "\"Bump version to $version"\" echo git commit -a -m "\"Bump version to $version"\"
echo git tag v$version
echo git push echo git push
echo git push v$version
for crate in \ for crate in \
entity bforest codegen/meta codegen frontend native \ entity bforest codegen/meta codegen frontend native \
preopt \ preopt \