From 6080eeb5442edafe7c880f031db08293beb6a466 Mon Sep 17 00:00:00 2001
From: Dan Gohman <sunfish@mozilla.com>
Date: Fri, 10 Jan 2020 14:13:22 -0800
Subject: [PATCH] Add a reminder to create the PR to the end of the publish
 script.

With all the sleeps between commands, the publish script takes a few
miniutes to run, and it can be easy to forget to create the PR when it
finishes. Add a reminder to be displayed at the end of the script.
---
 cranelift/publish-all.sh | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/cranelift/publish-all.sh b/cranelift/publish-all.sh
index 363824b60c..bd92e935ca 100755
--- a/cranelift/publish-all.sh
+++ b/cranelift/publish-all.sh
@@ -51,3 +51,7 @@ do
     # https://internals.rust-lang.org/t/changes-to-how-crates-io-handles-index-updates/9608
     echo sleep 10
 done
+echo
+echo "echo \"#\""
+echo "echo \"# Don't forget to click the above link to open a pull-request!\""
+echo "echo \"#\""