Changed REPO_NAME to full url

Chilipp · Feb 17, 2017 · d10948a · d10948a
1 parent 973ff8b
commit d10948a
Showing 1 changed file with 1 addition and 2 deletions.
diff --git a/ci/deploy.sh b/ci/deploy.sh
@@ -12,8 +12,7 @@ SHA=`git rev-parse --verify HEAD`
 
 cd $SRC_DIR
 
-REPO_NAME=`git config remote.origin.url`
-REPO_NAME=${REPO_NAME#https://}
+REPO_NAME=$(basename `git config remote.origin.url`)
 
 # Now let's go have some fun with the cloned repo
 git config user.name "Travis"