make_a_release.sh: also suggest to push to tizen.org

Now we also have a repository at tizen.org, remind about the fact that we need
to push there too.

Change-Id: I5ea5702ea0082ac428c66042e2de30913fd0c4cf
Signed-off-by: Artem Bityutskiy <artem.bityutskiy@intel.com>

diff --git a/make_a_release.sh b/make_a_release.sh
index ec6a37acb1572f5297f93974bb63951579b37e99..7f448c952ac91b849ae2266cabee404262caa436 100755 (executable)
--- a/make_a_release.sh
+++ b/make_a_release.sh
@@ -186,6 +186,12 @@ git push public $tag_name
 git push public devel:devel
 git push public master:master
 git push public $release_branch:$release_branch
+#7
+git push tizen $tag_name
+git push tizen devel:devel
+git push tizen master:master
+git push tizen $release_branch:$release_branch
+#8
 git send-email --suppress-cc=all --from "Artem Bityutskiy <dedekind1@gmail.com>" --to bmap-tools@lists.infradead.org /proc/self/fd/0 <<END_OF_EMAIL
 Subject: Announcement: $release_name is out!