bootstrap robin to get more battles

app.py

@@ -207,6 +207,9 @@ def chat(history1, history2, system_msg, state):
     if not arena_bots:
         arena_bots = list(AVAILABLE_MODELS.keys())
         random.shuffle(arena_bots)
+        # bootstrap a new bot into the arena more often
+        if "robin-v2-13b" not in arena_bots[0:2] and random.choice([True, False]):
+            arena_bots.insert(random.choice([0,1]), "robin-v2-13b")
 
     battle = arena_bots[0:2]
     model1 = get_model_pipeline(battle[0])