Comment # 4 on bug 1180626 from Lubos Kocman

The actual patch sorry

diff --git a/publish_distro b/publish_distro
index 59fb5f6..83f6164 100755
--- a/publish_distro
+++ b/publish_distro
@@ -1,5 +1,6 @@
 #!/bin/bash

+set -x
 # from stage (/src/ftp-stage) to public (/srv/ftp)

 # no --delete built in
@@ -191,7 +192,7 @@ for r in "${repos[@]/#//repo/}"; do
                fi
        done
 done
-
+do_sync_isos=1
 if [ "$do_sync_isos" = 0 ]; then
        if [ -t 1 ]; then
                echo "nothing to do"
diff --git a/publish_leap153.config b/publish_leap153.config
index ec8fd43..977f6ef 100644
--- a/publish_leap153.config
+++ b/publish_leap153.config
@@ -10,7 +10,7 @@ flavors=(DVD-x86_64 NET-x86_64 DVD-aarch64 NET-aarch64
DVD-ppc64le NET-ppc64le D
 get_version() {
        # get expected version from first flavor
        if [ -z "$version" ]; then
-               version=`echo
$stage/iso/openSUSE-Leap-$leap_version-$flavor-Build???.?-Media.iso`
+               version=`echo
$stage/iso/openSUSE-Leap-$leap_version-$flavor-Build??.?-Media.iso`
                version=${version##*Build}
                version=${version%-*}
                if [ -z "$version" ]; then