Update app.py

app.py

@@ -32,7 +32,7 @@ opt_out_text_template = """\
 ### Opt-out
 
 If you want your data to be removed from RepoBench for model evaluation \
-open an issue with <a href="https://huggingface.co/spaces/tianyang/in-the-repobench/discussions/new?title={title}&body={body}" target="_blank">this link</a>\
+open an issue with <a href="https://github.com/Leolty/repobench/issues/new?title={title}&body={body}" target="_blank">this link</a>\
 """
 
 opt_out_issue_title = """Opt-out request for {username}"""
@@ -60,7 +60,7 @@ def check_username(username, version):
     if username in usernames[version] and len(usernames[version][username])>0:
         repos = usernames[version][username]
         repo_word = "repository" if len(repos)==1 else "repositories"
-        output_md += f"**Yes**, there is code from **{len(repos)} {repo_word}** in The Stack:\n\n"
+        output_md += f"**Yes**, there is code from **{len(repos)} {repo_word}** in RepoBench:\n\n"
         for repo in repos:
             output_md += f"_{repo}_\n\n"
 
@@ -77,7 +77,7 @@ with gr.Blocks() as demo:
             version = gr.Dropdown([
                 "v1.0 (from 2023-09-07 to 2023-10-06)",
                 "v1.1 (from 2023-10-07 to 2023-12-31)"
-            ], label="The Stack version:", value="v1.1 (from 2023-10-07 to 2023-12-31)")
+            ], label="RepoBench version:", value="v1.1 (from 2023-10-07 to 2023-12-31)")
             username = gr.Text("", label="Your GitHub username:")
             check_button = gr.Button("Check!")