Support full clone URLs in getDocs (e.g. GitLab repos) (#382)

getDocs.js hardcoded the GitHub host and prepended it to every
`repo` entry in docs.package.json, so only GitHub repos could be
imported. Resolve each entry to a clone URL instead: a full URL
(https:// or git@) is used as-is, while a bare "owner/name" still
falls back to the GitHub prefix for backwards compatibility.

This unblocks adding application examples that live on GitLab.

Signed-off-by: Daniel Gerber <394442-gerbsen@users.noreply.gitlab.com>
Co-authored-by: Daniel Gerber <394442-gerbsen@users.noreply.gitlab.com>
Co-authored-by: Claude Opus 4.8 <noreply@anthropic.com>

Author: 3 people

getDocs.js

@@ -10,12 +10,18 @@ const reposJson = fs
 const repos = JSON.parse(reposJson)
 const ghUrl = 'https://github.com/'
 
+// Resolve a repo entry to a clone URL.
+// A full URL (e.g. a GitHub or GitLab repo) is used as-is; a bare
+// "owner/name" is treated as a GitHub shorthand for backwards compatibility.
+const cloneUrl = (repo) =>
+  /^(https?:\/\/|git@)/.test(repo) ? repo : ghUrl + repo
+
 // Clone each repository, remove git folders and README files, and copy the docs to the target directory
 repos.forEach((repo) => {
   const repoDir = `repo_to_be_edited/${repo.label}`
 
   // Clone the repository
-  const cloneCommand = `git clone ${ghUrl + repo.repo} ${repoDir}`
+  const cloneCommand = `git clone ${cloneUrl(repo.repo)} ${repoDir}`
   execSync(cloneCommand)
 
   // Remove git folders