From e3f01850200f6a5b9934cd60fff2655a15920b6c Mon Sep 17 00:00:00 2001
From: laurentheirendt <laurent.heirendt@uni.lu>
Date: Fri, 8 Nov 2019 08:52:10 +0100
Subject: [PATCH] change GET to HEAD
---
.ci/.autoRedirect | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/.ci/.autoRedirect b/.ci/.autoRedirect
index 4e145579..9691ca23 100644
--- a/.ci/.autoRedirect
+++ b/.ci/.autoRedirect
@@ -6,7 +6,7 @@
jQuery.ajax({
url: url,
dataType: 'text',
- type: 'GET',
+ type: 'HEAD',
cache: false,
complete: function(xhr){
if(typeof cb === 'function')
--
GitLab