Spaces:
Build error
Build error
Amy Roberts
commited on
Commit
·
2c3812c
1
Parent(s):
b42fea9
Rearrange app
Browse files
app.py
CHANGED
|
@@ -93,7 +93,18 @@ def update():
|
|
| 93 |
with gr.Blocks(title="Github Bot") as demo:
|
| 94 |
with gr.Tab("Find similar issues"):
|
| 95 |
with gr.Row():
|
| 96 |
-
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 97 |
with gr.Column():
|
| 98 |
gr.Markdown("Find similar issues to a given issue or query")
|
| 99 |
issue_no = gr.Textbox(label="Github Issue", placeholder="Github issue you want to find similar issues to")
|
|
@@ -102,8 +113,6 @@ with gr.Blocks(title="Github Bot") as demo:
|
|
| 102 |
token = gr.Textbox(label="Github Token", placeholder="Your github token for authentication. This is not stored anywhere.")
|
| 103 |
n_issues = gr.Slider(1, 50, value=5, step=1, label="Number of similar issues", info="Choose between 1 and 50")
|
| 104 |
issue_types = gr.CheckboxGroup(["Issue", "Pull Request"], label="Issue types")
|
| 105 |
-
update_button = gr.Button(value="Update issues", trigger_mode="once")
|
| 106 |
-
update_button.click(update, outputs=[], inputs=[])
|
| 107 |
|
| 108 |
with gr.Row():
|
| 109 |
submit_button = gr.Button(value="Submit")
|
|
|
|
| 93 |
with gr.Blocks(title="Github Bot") as demo:
|
| 94 |
with gr.Tab("Find similar issues"):
|
| 95 |
with gr.Row():
|
| 96 |
+
with gr.Column():
|
| 97 |
+
gr.Markdown("Press `Update Button` to update the stored issues. This will take a few minutes.")
|
| 98 |
+
update_button = gr.Button(value="Update issues")
|
| 99 |
+
update_button.click(update, outputs=[], inputs=[], trigger_mode="once")
|
| 100 |
+
with gr.Column():
|
| 101 |
+
pass
|
| 102 |
+
|
| 103 |
+
with gr.Row():
|
| 104 |
+
gr.Markdown("## Query settings")
|
| 105 |
+
with gr.Row():
|
| 106 |
+
gr.Markdown("Configure the settings for the query. You can either search for similar issues to a given issue or search for issues based on a query.")
|
| 107 |
+
with gr.Row():
|
| 108 |
with gr.Column():
|
| 109 |
gr.Markdown("Find similar issues to a given issue or query")
|
| 110 |
issue_no = gr.Textbox(label="Github Issue", placeholder="Github issue you want to find similar issues to")
|
|
|
|
| 113 |
token = gr.Textbox(label="Github Token", placeholder="Your github token for authentication. This is not stored anywhere.")
|
| 114 |
n_issues = gr.Slider(1, 50, value=5, step=1, label="Number of similar issues", info="Choose between 1 and 50")
|
| 115 |
issue_types = gr.CheckboxGroup(["Issue", "Pull Request"], label="Issue types")
|
|
|
|
|
|
|
| 116 |
|
| 117 |
with gr.Row():
|
| 118 |
submit_button = gr.Button(value="Submit")
|