From 0b6bdcc4917ff45aab3d2aa49e38bbae67bec305 Mon Sep 17 00:00:00 2001 From: Michael Neeley Date: Wed, 30 Jul 2025 16:39:42 -0400 Subject: [PATCH] add crossroads to list of repos --- github.py | 40 ++++++++++++++++++++++++---------------- 1 file changed, 24 insertions(+), 16 deletions(-) diff --git a/github.py b/github.py index 796f59c..53dd816 100644 --- a/github.py +++ b/github.py @@ -20,27 +20,35 @@ @lru_cache(maxsize=1) def get_repo_ids(): + # List of repositories to track in the format "owner/name". repos = [ - "apollos-platforms", - "apollos-cluster", - "apollos-admin", - "admin-transcriptions", - "apollos-shovel", - "apollos-embeds", + "apollosproject/apollos-platforms", + "apollosproject/apollos-cluster", + "apollosproject/apollos-admin", + "apollosproject/admin-transcriptions", + "apollosproject/apollos-shovel", + "apollosproject/apollos-embeds", + "differential/crossroads-anywhere", ] ids = [] - for repo in repos: - params = {"name": repo} - query = gql( - """ - query RepoId ($name: String!) { - repository(owner: "apollosproject", name: $name) { - id - } + # GraphQL query for fetching a repository ID by owner and name. + repo_id_query = gql( + """ + query RepoId($owner: String!, $name: String!) { + repository(owner: $owner, name: $name) { + id } + } """ - ) - data = client.execute(query, variable_values=params) + ) + for full_name in repos: + try: + owner, name = full_name.split("/", 1) + except ValueError: + # Skip invalid entries. + continue + params = {"owner": owner, "name": name} + data = client.execute(repo_id_query, variable_values=params) ids.append(data["repository"]["id"]) return ids