Fix trusted-server name demangling

gitlab/before_build.sh

@@ -5,7 +5,7 @@ source $(dirname ${0})/functions.sh
 
 if [ -z "${WHEELS_REPOSITORY}" ]; then
   WHEELS_REPOSITORY="${DOCSERVER}/software/bob/wheels/gitlab/"
-  WHEELS_SERVER=`echo ${DOCSERVER} | sed 's;https\?://;;'`
+  WHEELS_SERVER=`echo ${DOCSERVER} | sed 's;http.*://;;'`
   check_env WHEELS_SERVER
 fi
 check_env WHEELS_REPOSITORY