From f9cd0dde4266955ced5bdbac68773e25590187b1 Mon Sep 17 00:00:00 2001
From: Rob Court <rcourt@ed.ac.uk>
Date: Mon, 4 Jan 2021 09:54:44 +0000
Subject: [PATCH] formatting release tags for branch handler

---
 .github/workflows/main.yml | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
index c54716488..d1499ce46 100644
--- a/.github/workflows/main.yml
+++ b/.github/workflows/main.yml
@@ -26,7 +26,11 @@ jobs:
       # Decide based on branch which servers to use
       - name: Pass branch
         id: branch
-        run: echo "::set-output name=value::${GITHUB_REF##*/}";
+        run: if [[ ${GITHUB_REF##*/} == v*) ]]; then
+            echo "::set-output name=value::'RELEASE '${GITHUB_REF##*/}";
+          else
+            echo "::set-output name=value::${GITHUB_REF##*/}";
+          fi;
       - name: Setup local servers
         id: local-servers
         shell: bash