zec
/
developers
mirror of https://github.com/zcash/developers.git
1
0
Fork 0
Code Issues Projects Releases Wiki Activity

Speed up ZenHub queries by limiting to relevant repos

This commit is contained in:
Jack Grigg 2024-11-12 16:54:22 +13:00
parent dc461a23ae
commit e19d11d672
1 changed files with 8 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

14
helpers/zenhub.py
View File

@ -61,10 +61,14 @@ def get_workspace_repos(endpoint, workspaces):
def fetch_workspace_graph(op, workspace_id, repos, cursor): def fetch_workspace_graph(op, workspace_id, repos, cursor):
# If we know all repo ZenHub IDs, we can filter.
# Otherwise, we need to fetch all repos in the workspace.
repository_ids = [repo.zh_id for repo in repos]
if None in repository_ids:
repository_ids = None
dependencies = op.workspace(id=workspace_id).issue_dependencies( dependencies = op.workspace(id=workspace_id).issue_dependencies(
# TODO: This causes a 500 Internal Server Error. We need the ZenHub repo IDs here, repository_ids=repository_ids,
# not the GitHub repo IDs (which the previous REST API used).
# repository_ids=repos,
first=100, first=100,
after=cursor, after=cursor,
) )
@ -119,9 +123,7 @@ def get_dependency_graph(endpoint, workspace_id, repos):
def fetch_epics(op, workspace_id, repos, cursor): def fetch_epics(op, workspace_id, repos, cursor):
epics = op.workspace(id=workspace_id).epics( epics = op.workspace(id=workspace_id).epics(
# TODO: This causes a 500 Internal Server Error. We need the ZenHub repo IDs here, repository_gh_ids=[repo.gh_id for repo in repos],
# not the GitHub repo IDs (which the previous REST API used).
# repository_ids=repos,
first=100, first=100,
after=cursor, after=cursor,
) )