Spaces:
Sleeping
Sleeping
Update app.py
Browse files
app.py
CHANGED
@@ -7,18 +7,18 @@ import urllib
|
|
7 |
usernames = {}
|
8 |
|
9 |
|
10 |
-
filepath = "username_to_repo_v1.0.json.gz"
|
11 |
|
12 |
with gzip.open(filepath, 'r') as f:
|
13 |
usernames["v1.0 (from 2023-09-07 to 2023-10-06)"] = json.loads(f.read().decode('utf-8'))
|
14 |
|
15 |
-
filepath = "username_to_repo_v1.1.json.gz"
|
16 |
|
17 |
with gzip.open(filepath, 'r') as f:
|
18 |
usernames["v1.1 (from 2023-10-07 to 2023-12-31)"] = json.loads(f.read().decode('utf-8'))
|
19 |
|
20 |
text = """\
|
21 |
-

|
22 |
**_RepoBench is a benchmark specifically designed for evaluating repository-level code auto-completion systems._**
|
23 |
|
24 |
# Am I in The RepoBench?
|
|
|
7 |
usernames = {}
|
8 |
|
9 |
|
10 |
+
filepath = "https://huggingface.co/spaces/tianyang/in-the-repobench/blob/main/username_to_repo_v1.0.json.gz"
|
11 |
|
12 |
with gzip.open(filepath, 'r') as f:
|
13 |
usernames["v1.0 (from 2023-09-07 to 2023-10-06)"] = json.loads(f.read().decode('utf-8'))
|
14 |
|
15 |
+
filepath = "https://huggingface.co/spaces/tianyang/in-the-repobench/blob/main/username_to_repo_v1.1.json.gz"
|
16 |
|
17 |
with gzip.open(filepath, 'r') as f:
|
18 |
usernames["v1.1 (from 2023-10-07 to 2023-12-31)"] = json.loads(f.read().decode('utf-8'))
|
19 |
|
20 |
text = """\
|
21 |
+

|
22 |
**_RepoBench is a benchmark specifically designed for evaluating repository-level code auto-completion systems._**
|
23 |
|
24 |
# Am I in The RepoBench?
|