From 9496e5858f30d19034de1b89c61046000fa7f646 Mon Sep 17 00:00:00 2001
From: Andre Anjos <andre.anjos@idiap.ch>
Date: Fri, 23 Jun 2017 12:39:56 +0200
Subject: [PATCH] Fix missing quote

---
 gitlab/functions.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/gitlab/functions.sh b/gitlab/functions.sh
index 829342c..7ecb175 100644
--- a/gitlab/functions.sh
+++ b/gitlab/functions.sh
@@ -423,7 +423,7 @@ fi
 
 DOC_UPLOADS=()
 
-if [[ "${IS_MASTER} == "true" ]]; then
+if [[ "${IS_MASTER}" == "true" ]]; then
   DOC_UPLOADS+=("${DOCS_SERVER_PREFIX}/master/")
 fi
 
-- 
GitLab