From c07d225510ee48761db7efafb096be46a0064c6d Mon Sep 17 00:00:00 2001 From: Martin Date: Wed, 22 Jun 2022 22:52:15 +0200 Subject: [PATCH] Use existing branch names Branches on repositories are named with an initial r. Prior to https://github.com/omniosorg/omni/pull/17 the value of $branch got set to a contain an r through `uname -v | cut -d- -f2`, resulting in correct names. The commit in PR-17 changes $branch to instead be all numerical, which presumably must have been a mistake since that is not how they actually are named. --- setup | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/setup b/setup index 6039e39..c2be35c 100755 --- a/setup +++ b/setup @@ -33,7 +33,7 @@ fi if (( relnum % 2 == 0 )); then release="r$relnum" - branch=$relnum + branch="r$relnum" else release=bloody branch=master