From: Peter Amstutz <peter.amstutz@curii.com>
Date: Thu, 11 Apr 2024 13:46:24 +0000 (-0400)
Subject: Add a banner to the package promotion logging.
X-Git-Url: https://git.arvados.org/arvados-dev.git/commitdiff_plain/HEAD

Add a banner to the package promotion logging.

no issue #

Arvados-DCO-1.1-Signed-off-by: Peter Amstutz <peter.amstutz@curii.com>
---

diff --git a/jenkins/testing_to_stable_publish_packages.sh b/jenkins/testing_to_stable_publish_packages.sh
index 835a269..ecf918e 100755
--- a/jenkins/testing_to_stable_publish_packages.sh
+++ b/jenkins/testing_to_stable_publish_packages.sh
@@ -46,6 +46,9 @@ CENTOS_PACKAGES=$(echo ${packages} | sed 's/\([a-z-]*\):[[:blank:]]*\([0-9.-]*\)
 DEBIAN_PACKAGES=$(echo ${packages} | sed 's/\([a-z-]*\):[[:blank:]]*\([0-9.-]*\)/\1 (= \2)/g;')
 
 for DISTNAME in ${DIST_LIST}; do
+    echo
+    echo "### Publishing packages for ${DISTNAME} ###"
+    echo
     if ( echo ${DISTNAME} |grep -q -E '(centos|rocky)' ); then
 	case ${DISTNAME} in
 	    'centos7')