Don't hard-code server hostname.

.gitlab-ci.yml

@@ -25,7 +25,7 @@ test:
       if [ "${CI_COMMIT_REF_NAME}" = master ]; then
         if [ -n "${GIT_ACCESS_USER}" -a -n "${GIT_ACCESS_TOKEN}" ]; then
           echo "Pushing updated digests."
-          git remote set-url --push origin "https://${GIT_ACCESS_USER}:${GIT_ACCESS_TOKEN}@gitlab.datadrivendiscovery.org/${CI_PROJECT_PATH}.git"
+          git remote set-url --push origin "https://${GIT_ACCESS_USER}:${GIT_ACCESS_TOKEN}@${CI_SERVER_HOST}/${CI_PROJECT_PATH}.git"
           git config --local user.email noreply@datadrivendiscovery.org
           git config --local user.name "D3M CI"
           if ! git diff --quiet ; then