From bce5c58accd3abcc259e585a24ec3f7b820740ef Mon Sep 17 00:00:00 2001
From: Will Barnett <will.barnett@kcl.ac.uk>
Date: Tue, 31 Oct 2023 17:27:23 +0000
Subject: [PATCH] Removed unnecessary login box hide.

---
 platform/src/Playground.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/platform/src/Playground.js b/platform/src/Playground.js
index e670d94..2df59d2 100644
--- a/platform/src/Playground.js
+++ b/platform/src/Playground.js
@@ -59,7 +59,7 @@ document.getElementById("btnnologin").onclick= () => {
 if (!urlParamPrivateRepo()){
     // Public repo so no need to authenticate
     initialiseActivity();
-    PlaygroundUtility.hideLogin();
+    
 } else {
     PlaygroundUtility.showLogin();
 }