- ci - Update shell-function shDirHttplinkValidate() with user-agent-header.

Author: kaizhu256

jslint_ci.sh

@@ -740,7 +740,11 @@ import moduleHttps from "https";
                 return "";
             }
             dict[url] = true;
-            req = moduleHttps.request(url, function (res) {
+            req = moduleHttps.request(url, {
+                headers: {
+                    "user-agent": "undefined"
+                }
+            }, function (res) {
                 console.error(
                     "shDirHttplinkValidate " + res.statusCode + " " + url
                 );
@@ -1007,9 +1011,6 @@ shGitPullrequestCleanup() {(set -e
 shGitPullrequest() {(set -e
 # this function will create-and-push a github-pull-commit to origin/alpha
     node --input-type=module --eval '
-import moduleAssert from "assert";
-import moduleChildProcess from "child_process";
-import moduleFs from "fs";
 // init debugInline
 (function () {
     let consoleError = console.error;
@@ -1023,6 +1024,9 @@ import moduleFs from "fs";
         return argList[0];
     };
 }());
+import moduleAssert from "assert";
+import moduleChildProcess from "child_process";
+import moduleFs from "fs";
 (async function () {
     let branchCheckpoint = process.argv[2] || "HEAD";
     let branchMerge = process.argv[1] || "beta";

package.json

@@ -1,6 +1,6 @@
 {
     "bin": {
-        "jslint": "./jslint.mjs"
+        "jslint": "jslint.mjs"
     },
     "bugs": {
         "url": "https://github.com/jslint-org/jslint/issues"
@@ -26,7 +26,7 @@
     "name": "@jslint-org/jslint",
     "repository": {
         "type": "git",
-        "url": "https://github.com/jslint-org/jslint.git"
+        "url": "git+https://github.com/jslint-org/jslint.git"
     },
     "scripts": {
         "test": "node jslint.mjs v8_coverage_report=.artifact/coverage node test.mjs",