diff --git a/local/scripts/dist.sh b/local/scripts/dist.sh
index 0f627bd23..8621ee857 100755
--- a/local/scripts/dist.sh
+++ b/local/scripts/dist.sh
@@ -33,6 +33,8 @@ git commit --allow-empty --message "$COMMIT_MESSAGE"
 if [ -n "$DIST_TAG" ]; then
 	echo "Tagging a release: $DIST_TAG"
 	git tag --force "$DIST_TAG"
+	git push --force --set-upstream origin --tags
+else
+	# Syncing release artifacts for a branch.
+	git push --force --set-upstream origin "$DIST_BRANCH"
 fi
-
-git push --force --set-upstream origin "$DIST_BRANCH" --tags