From 88a5e7d0d3441cc768c40e96b8dfb2b10ebc7d82 Mon Sep 17 00:00:00 2001 From: Jochen Sprickerhof Date: Thu, 11 Aug 2022 16:08:15 +0200 Subject: [PATCH] release.sh: fix branch name --- release.sh | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/release.sh b/release.sh index 9ac5a27d0..ee218ea54 100755 --- a/release.sh +++ b/release.sh @@ -170,11 +170,10 @@ new_bin_packages="$(echo "$diff_bin_packages" | grep '^+' | sed -e 's/^+//g')" rm_bin_packages="$(echo "$diff_bin_packages" | grep '^-' | sed -e 's/^-//g')" show_build_notice() { - CRATE_FORMAT=$(echo $CRATE|sed -e "s/_/-/g") cat <