From a06d25725364cc697847e0971111a083a12f36c0 Mon Sep 17 00:00:00 2001
From: Benjamin Bouvier <public@benj.me>
Date: Mon, 25 Feb 2019 19:03:37 +0100
Subject: [PATCH] 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.
---
 cranelift/publish-all.sh | 2 ++
 1 file changed, 2 insertions(+)

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