From 9553b1ef8f15db112ddbe1c3b3ad0d9f9ae1745c Mon Sep 17 00:00:00 2001
From: Arceliar <Arceliar@users.noreply.github.com>
Date: Mon, 5 Mar 2018 22:47:50 -0600
Subject: [PATCH] apparently PRs get a slash in the branch name, which causes
 problems for the circleci builds

---
 contrib/semver/name.sh | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/contrib/semver/name.sh b/contrib/semver/name.sh
index eea8ee4b..467f30c4 100644
--- a/contrib/semver/name.sh
+++ b/contrib/semver/name.sh
@@ -10,4 +10,5 @@ if [ "$BRANCH" = "master" ]; then
 fi
 
 # If it is something other than master, append it
-printf "yggdrasil-%s" "$BRANCH"
+# Remove any "/" characters from e.g. "pull/N"
+printf "yggdrasil-%s" "${BRANCH/\//}"