Update app.py

app.py

@@ -6,6 +6,10 @@ import urllib
 
 usernames = {}
 
+filepath = hf_hub_download(repo_id="bigcode/the-stack-username-to-repo", filename="username_to_repo.json.gz", repo_type="dataset", revision="v1.2")
+with gzip.open(filepath, 'r') as f:
+    usernames["v1.2"] = json.loads(f.read().decode('utf-8'))
+
 filepath = hf_hub_download(repo_id="bigcode/the-stack-username-to-repo", filename="username_to_repo.json.gz", repo_type="dataset", revision="v1.1")
 with gzip.open(filepath, 'r') as f:
     usernames["v1.1"] = json.loads(f.read().decode('utf-8'))
@@ -70,7 +74,7 @@ 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.1", "v1.0"], label="The Stack version:", value="v1.1")
+            version = gr.Dropdown(["v1.2", "v1.1", "v1.0"], label="The Stack version:", value="v1.2")
             username = gr.Text("", label="Your GitHub username:")
             check_button = gr.Button("Check!")