[arvados-dev] updated: f3e97f6cba1ef643c126f1d73f5d2d9d956ea62a

[git repository hosting]

Summary of changes:
 jenkins/testing_to_stable_publish_packages.sh | 3 +++
 1 file changed, 3 insertions(+)

       via  f3e97f6cba1ef643c126f1d73f5d2d9d956ea62a (commit)
      from  349808c1a4afd4741e9687894bfef063d9fd3413 (commit)

Those revisions listed above that are new to this repository have
not appeared on any other notification email; so we list those
revisions in full, below.


commit f3e97f6cba1ef643c126f1d73f5d2d9d956ea62a
Author: Peter Amstutz <peter.amstutz at curii.com>
Date:   Thu Apr 11 09:46:24 2024 -0400

    Add a banner to the package promotion logging.
    
    no issue #
    
    Arvados-DCO-1.1-Signed-off-by: Peter Amstutz <peter.amstutz at 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')

-----------------------------------------------------------------------


hooks/post-receive
--