Merge pull request #1163 from xwp/bugfix/release-tagging

Automatically tag releases in the distribution repository

Author: dero

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