From 31d99ddc0b4db6d539bc87f56a13faca12c32aa1 Mon Sep 17 00:00:00 2001 From: Simon Cozens Date: Tue, 26 Aug 2025 18:34:11 +0100 Subject: [PATCH] [dashboard] Adjust fontc source key regex --- .ci/dashboard/src/source_check.md | 6 ++---- 1 file changed, 2 insertions(+), 4 deletions(-) diff --git a/.ci/dashboard/src/source_check.md b/.ci/dashboard/src/source_check.md index d3d855f51..7ebdcd9af 100644 --- a/.ci/dashboard/src/source_check.md +++ b/.ci/dashboard/src/source_check.md @@ -6,8 +6,6 @@ toc: false ```js const fontc = await FileAttachment("./data/fontc.json").json(); const metadata = await FileAttachment("./data/metadata.json").json(); -const servers = await FileAttachment("./data/servers.json").json(); -const github = await FileAttachment("./data/github.json").json(); const reviewlist = await FileAttachment("./data/fontc_review.json").json(); const family_to_directory = Object.fromEntries( @@ -19,10 +17,10 @@ const directory_to_family = Object.fromEntries( function fontcKeyToGithubAndSha(key, state) { let match = key.match( - /^([^\/]+)\/([^\/]+)\/(\S+)\?([a-f0-9]+) \((\S+)\) (\S+)/ + /^([^\/]+)\/([^\/]+)\/.*\?([a-f0-9]+) \((\S+)\)/ ); if (match) { - let [_, owner, repo, path, sha, config, mode] = match; + let [_, owner, repo, sha, mode] = match; return { repo: `${owner}/${repo}`, sha, state }; } } -- 2.47.3