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