From 0fb16b6b4a2cd9963a25b6e052f727efc112da1b Mon Sep 17 00:00:00 2001
From: Christoph Reiter <reiter.christoph@gmail.com>
Date: Tue, 14 Dec 2021 15:58:24 +0100
Subject: [PATCH] revert; doesn't work

---
 .gitlab-ci/deploy.php | 2 --
 1 file changed, 2 deletions(-)

diff --git a/.gitlab-ci/deploy.php b/.gitlab-ci/deploy.php
index 872e4e1..40e6de7 100644
--- a/.gitlab-ci/deploy.php
+++ b/.gitlab-ci/deploy.php
@@ -11,8 +11,6 @@ require 'recipe/cachetool.php';
 // Global config
 set('allow_anonymous_stats', false);
 
-set('cachetool_binary', 'cachetool-7.0.0.phar');
-
 $rsync_config = [
     'exclude' => [
         '.git',
-- 
GitLab