From ea02de0cc920611d74c54637ec39fb9f82863719 Mon Sep 17 00:00:00 2001
From: Janek Bevendorff <janek@jbev.net>
Date: Sun, 22 Jan 2017 19:14:56 +0100
Subject: [PATCH] Add hint about merging back into develop and pushing changes

---
 make_release.sh | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/make_release.sh b/make_release.sh
index de754a695..9472afeb6 100755
--- a/make_release.sh
+++ b/make_release.sh
@@ -346,3 +346,5 @@ cd "$ORIG_CWD"
 git checkout "$ORIG_BRANCH" > /dev/null 2>&1
 
 logInfo "All done!"
+logInfo "Please merge the release branch back into the develop branch now and then push your changes."
+logInfo "Don't forget to also push the tags using \e[1mgit push --tags\e[0m."