From 7dda61543f0769254f141daada24b69792bb1ba2 Mon Sep 17 00:00:00 2001
From: Dan Gohman <sunfish@mozilla.com>
Date: Tue, 27 Feb 2018 17:01:02 -0800
Subject: [PATCH] Add more release instructions.

---
 cranelift/publish-all.sh | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/cranelift/publish-all.sh b/cranelift/publish-all.sh
index 5844621079..5cdc281387 100755
--- a/cranelift/publish-all.sh
+++ b/cranelift/publish-all.sh
@@ -30,6 +30,9 @@ cargo update
 # Note that libraries need to be published in topological order.
 
 echo git commit -a -m "\"Bump version to $version"\"
+echo git push
 for crate in filecheck cretonne frontend native reader wasm; do
     echo cargo publish --manifest-path "lib/$crate/Cargo.toml"
 done
+echo
+echo Then, go to https://github.com/Cretonne/cretonne/releases/ and define a new release.