From 9062810c346f8d01e0c33759290fdf525471941a Mon Sep 17 00:00:00 2001 From: Benjamin Bouvier Date: Mon, 8 Apr 2019 16:13:19 +0200 Subject: [PATCH] Fix the publish script to include the remote when pushing the tag; --- cranelift/publish-all.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/cranelift/publish-all.sh b/cranelift/publish-all.sh index 7792f1e9f8..175ccfcb0e 100755 --- a/cranelift/publish-all.sh +++ b/cranelift/publish-all.sh @@ -36,7 +36,7 @@ cargo update echo git commit -a -m "\"Bump version to $version"\" echo git tag v$version echo git push -echo git push v$version +echo git push origin v$version for crate in \ entity bforest codegen/meta codegen frontend native \ preopt \