From afa84be7dfdcbeacd36c1dd90209735ded505107 Mon Sep 17 00:00:00 2001 From: Ishimoto Koji Date: Tue, 14 Oct 2025 23:33:54 +0900 Subject: [PATCH 1/2] Convert a repository url from SSH to HTTPS. --- src/Packages.res | 13 +++++++++++++ 1 file changed, 13 insertions(+) diff --git a/src/Packages.res b/src/Packages.res index b61e142ec..b28953f2b 100644 --- a/src/Packages.res +++ b/src/Packages.res @@ -501,6 +501,19 @@ let parsePkgs = data => { ->Resource.filterKeywords ->Resource.uniqueKeywords + // Convert a repository url from SSH to HTTPS. + let repositoryHref = switch repositoryHref { + | href if String.startsWith(href, "git+ssh") => { + String.replace(href, "git+ssh:", "https:") } + | href if String.startsWith(href, "git+") => { + String.replace(href, "git+", "") + } + | href if String.startsWith(href, "git:") => { + String.replace(href, "git:", "https:") + } + | href => href + } + Some({ name, version, From 5ff22d79404d1d51c9c40a44e7e773ec4b559f9b Mon Sep 17 00:00:00 2001 From: Ishimoto Koji Date: Tue, 21 Oct 2025 01:19:14 +0900 Subject: [PATCH 2/2] execute npm run format --- src/Packages.res | 13 ++++--------- 1 file changed, 4 insertions(+), 9 deletions(-) diff --git a/src/Packages.res b/src/Packages.res index b28953f2b..ba3b007aa 100644 --- a/src/Packages.res +++ b/src/Packages.res @@ -503,15 +503,10 @@ let parsePkgs = data => { // Convert a repository url from SSH to HTTPS. let repositoryHref = switch repositoryHref { - | href if String.startsWith(href, "git+ssh") => { - String.replace(href, "git+ssh:", "https:") } - | href if String.startsWith(href, "git+") => { - String.replace(href, "git+", "") - } - | href if String.startsWith(href, "git:") => { - String.replace(href, "git:", "https:") - } - | href => href + | href if String.startsWith(href, "git+ssh") => String.replace(href, "git+ssh:", "https:") + | href if String.startsWith(href, "git+") => String.replace(href, "git+", "") + | href if String.startsWith(href, "git:") => String.replace(href, "git:", "https:") + | href => href } Some({