Update app.py

app.py

@@ -7,11 +7,16 @@ import urllib
 usernames = {}
 
 
-filepath = "username_to_repo.json.gz"
+filepath = "username_to_repo_v1.0.json.gz"
 
 with gzip.open(filepath, 'r') as f:
     usernames["v1.0 (from 2023-09-07 to 2023-10-06)"] = json.loads(f.read().decode('utf-8'))
 
+filepath = "username_to_repo_v1.1.json.gz"
+
+with gzip.open(filepath, 'r') as f:
+    usernames["v1.1 (from 2023-10-07 to 2023-12-31)"] = json.loads(f.read().decode('utf-8'))
+
 text = """\
 **_RepoBench is a benchmark specifically designed for evaluating repository-level code auto-completion systems._**
 
@@ -69,7 +74,10 @@ with gr.Blocks() as demo:
         _, colum_2, _ = gr.Column(scale=1), gr.Column(scale=6), gr.Column(scale=1)
         with colum_2:
             gr.Markdown(text)
-            version = gr.Dropdown(["v1.0"], label="The Stack version:", value="v1.0")
+            version = gr.Dropdown([
+                "v1.0 (from 2023-09-07 to 2023-10-06)",
+                "1.1 (from 2023-10-07 to 2023-12-31)"
+            ], label="The Stack version:", value="1.1 (from 2023-10-07 to 2023-12-31)")
             username = gr.Text("", label="Your GitHub username:")
             check_button = gr.Button("Check!")