change GET to HEAD

Former-commit-id: e3f01850

change GET to HEAD
Former-commit-id: e3f01850
70669991 · Laurent Heirendt · 8803a70f · 70669991
Commit 70669991 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')