+######################################################################
+echo ""
+echo "# On mochi, please run the commands"
+echo "\$HOME/proj/git-tools/id-deb-build/mkdist.sh"
+echo "\$HOME/proj/git-tools/id-deb-build/id-pbuild.sh"
+echo "\$HOME/proj/git-tools/id-deb-build/id-pbuild.sh --upload"
+echo ""
+
+echo "# if successfully, don't forget to push to origin"
+echo "git push origin master"
+echo "git push origin tag v$version"
+
+# EOF
+