Temporarily remove the deployment to production

.gitlab-ci.yml

@@ -207,38 +207,3 @@ stop_review:
     action: stop
   tags:
     - review-apps
-
-production:
-  stage: deploy
-  image: debian:stable
-  dependencies:
-    - build:production
-  variables:
-    GIT_STRATEGY: none
-  before_script:
-    - apt-get -qy update && apt-get -qy install rsync 
-    # Install ssh-agent if not already installed, it is required by Docker.
-    # (change apt-get to yum if you use a CentOS-based image)
-    - 'which ssh-agent || ( apt-get -y install openssh-client )'
-
-    # Run ssh-agent (inside the build environment)
-    - eval $(ssh-agent -s)
-
-    # Add the SSH key stored in SSH_PRIVATE_KEY variable to the agent store
-    - ssh-add <(echo "$SSH_PRIVATE_KEY")
-
-    # In order to properly check the server's host key, assuming you created the
-    # SSH_SERVER_HOSTKEYS variable previously, uncomment the following two lines
-    # instead.
-    - mkdir -p ~/.ssh
-    - '[[ -f /.dockerenv ]] && echo "$SSH_SERVER_HOSTKEYS" > ~/.ssh/known_hosts'
-  script:
-    - |
-        for server in $PRODUCTION_SERVERS
-        do
-          rsync --delete -a --chown gitlabci:www-data public/. $server:/var/www/html/software.hifis.net/.
-        done
-  tags:
-    - internal
-  extends:
-    - .only_extension