change GET to HEAD

e3f01850 · Laurent Heirendt · 342c34c3 · e3f01850
Verified Commit e3f01850 authored 5 years ago by Laurent Heirendt
--- 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')