Merge pull request #1110 from yutkat/dev

Fix json
7 months ago · d105d818dd
parent 444beb9ebd 9320abae1e
commit d105d818dd
1 changed files with 1 additions and 1 deletions
--- a/.github/archive-repo-matcher.json
+++ b/.github/archive-repo-matcher.json
@ -4,7 +4,7 @@
      "owner": "archive-checker",
      "pattern": [
        {
-          "regexp": "^(https:\/\/github\.com\/.+\/.+)$",
+          "regexp": "^(https:\\\/\\\/github.com\\\/.+\\\/.+)$",
          "url": 1
        }
      ]