From 04c70ba522228683d4ebeb25a9bdbb513d599365 Mon Sep 17 00:00:00 2001
From: joneugster <eugster.jon@gmail.com>
Date: Sat, 18 Nov 2023 12:12:19 +0100
Subject: [PATCH] fix for STG on landing page

---
 client/src/components/landing_page.tsx | 6 +++---
 server/index.mjs                       | 7 ++++---
 2 files changed, 7 insertions(+), 6 deletions(-)

diff --git a/client/src/components/landing_page.tsx b/client/src/components/landing_page.tsx
index c421b41..c40ec87 100644
--- a/client/src/components/landing_page.tsx
+++ b/client/src/components/landing_page.tsx
@@ -123,10 +123,10 @@ This is a good first introduction to Lean!"
       <GameTile
         title="Set Theory Game"
         gameId="g/djvelleman/STG4"
-        intro=""
+        intro="A game about set theory"
         description=""
-        worlds="?"
-        levels="?"
+        worlds="5"
+        levels="30"
         language="English"
         />
 
diff --git a/server/index.mjs b/server/index.mjs
index 7c250fc..2caca9c 100644
--- a/server/index.mjs
+++ b/server/index.mjs
@@ -11,6 +11,7 @@ import { importTrigger, importStatus } from './import.mjs'
 // import fs from 'fs'
 
 /**
+ * IMPORTANT! Tags here need to be lower case!
 */
 const games = {
     "g/hhu-adam/robo": {
@@ -21,9 +22,9 @@ const games = {
         dir: "NNG4",
         queueLength: 5
     },
-    "g/hhu-adam/STG4": {
-      dir: "STG4",
-      queueLength: 2
+    "g/djvelleman/stg4": {
+        dir: "STG4",
+        queueLength: 5
     },
     "g/hhu-adam/nng4-old": {
         dir: "NNG4-OLD",