From a191c47b8e8dc853a6c4b0daa08cfdba327d9714 Mon Sep 17 00:00:00 2001
From: TentativeConvert <marcus.zibrowius@cantab.net>
Date: Tue, 10 Dec 2024 14:28:30 +0100
Subject: [PATCH] update queue of pre-loaded games

---
 relay/index.mjs | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/relay/index.mjs b/relay/index.mjs
index ffc9d74..6f9a5fa 100644
--- a/relay/index.mjs
+++ b/relay/index.mjs
@@ -20,9 +20,9 @@ import { spawn } from 'child_process'
 */
 const queueLength = {
   "g/hhu-adam/robo": 2,
-  "g/hhu-adam/nng4": 5,
-  "g/djvelleman/stg4": 0,
-  "g/trequetrum/lean4game-logic": 0,
+  "g/leanprover-community/nng4": 5,
+  "g/djvelleman/stg4": 2,
+  "g/trequetrum/lean4game-logic": 2,
 }
 
 const __filename = url.fileURLToPath(import.meta.url);