Skip to content

Commit 533b686

Browse files
committed
Fix the upstreaming dashboard
1 parent dc8423d commit 533b686

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

scripts/upstreaming_dashboard.py

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -12,7 +12,7 @@
1212
import pathlib
1313

1414
def main():
15-
pr_file = subprocess.run(["curl", "https://raw.githubusercontent.com/jcommelin/queueboard/refs/heads/master/processed_data/open_pr_data.json"],
15+
pr_file = subprocess.run(["curl", "https://raw.githubusercontent.com/leanprover-community/queueboard/refs/heads/master/processed_data/open_pr_data.json"],
1616
capture_output = True,
1717
text = True)
1818
pr_json = json.loads(pr_file.stdout)["pr_statusses"]

0 commit comments

Comments
 (0)