From 2ba4f674ac4322e72ed5006aee3e91c1fa62ed79 Mon Sep 17 00:00:00 2001
From: David Mehren <git@herrmehren.de>
Date: Mon, 14 Jun 2021 21:44:16 +0200
Subject: [PATCH] Use tar.gz in LDAP_PLUGIN_URL

---
 environment | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/environment b/environment
index 8039854..8dfede5 100644
--- a/environment
+++ b/environment
@@ -1,5 +1,5 @@
 BASE=docker.io/sharelatex/sharelatex:2.6.1
-LDAP_PLUGIN_URL=https://codeload.github.com/davidmehren/ldap-overleaf-sl/zip/refs/heads/fix_contacts_disable
+LDAP_PLUGIN_URL=https://codeload.github.com/davidmehren/ldap-overleaf-sl/tar.gz/refs/heads/fix_contacts_disable
 LOGIN_TEXT=username
 COLLAB_TEXT="Direct share with collaborators is enabled only for activated users"
 ADMIN_IS_SYSADMIN=true
-- 
GitLab