From cd10deafc2825ac1fe64712392b1d6546b64c44b Mon Sep 17 00:00:00 2001
From: Steven Hugg <hugg@fasterlight.com>
Date: Thu, 14 Jan 2021 15:43:22 -0600
Subject: [PATCH] fixed github import bug

---
 src/ide/services.ts | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/ide/services.ts b/src/ide/services.ts
index 8c88b9f5..cc9d41b3 100644
--- a/src/ide/services.ts
+++ b/src/ide/services.ts
@@ -143,7 +143,7 @@ export class GithubService {
       subtreepath: urlparse.subtreepath,
       prefix: '', //this.getPrefix(urlparse.user, urlparse.repo),
       repo: repo,
-      platform_id: this.project ? this.project.platform_id : saved.platform_id
+      platform_id: this.project ? this.project.platform_id : (saved ? saved.platform_id : null)
     };
     //console.log(sess);
     return sess;