From 41e9f5d4077e2963237df2a2acfbedd9a3288e48 Mon Sep 17 00:00:00 2001 From: Richard Knoll Date: Wed, 20 Nov 2024 14:20:56 -0800 Subject: [PATCH] handle repopaths with github prefix --- webapp/src/idbworkspace.ts | 3 +++ 1 file changed, 3 insertions(+) diff --git a/webapp/src/idbworkspace.ts b/webapp/src/idbworkspace.ts index d2ae22dbdb32..dfe03ec2c016 100644 --- a/webapp/src/idbworkspace.ts +++ b/webapp/src/idbworkspace.ts @@ -537,6 +537,9 @@ export function initGitHubDb() { } async loadTutorialMarkdown(repopath: string, tag?: string) { + if (repopath.indexOf(":") !== -1) { + repopath = repopath.split(":").pop(); + } const cache = await getGitHubCacheAsync(); const id = this.tutorialCacheKey(repopath, tag);