diff --git a/scripts/release.sh b/scripts/release.sh
index d4bf0f351..aaed2c827 100644
--- a/scripts/release.sh
+++ b/scripts/release.sh
@@ -77,6 +77,7 @@ git push origin HEAD
 do_gh_pages_update
 git checkout master
 git merge stable
+git push origin master
 echo "$tagname successfully released!"