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

Clarify when a repo's GitHub ID or name is being used

This commit is contained in:
Jack Grigg 2024-11-12 13:57:11 +13:00
parent 7d23400e49
commit 7e87884255
2 changed files with 7 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
helpers/github.py
View File

@ -122,6 +122,7 @@ def fetch_issues(op, issues, REPOS):
node.merged()
# `nodes` is a list of `(repo_github_id, issue_number)` tuples.
def download_issues(endpoint, nodes, REPOS):
issues = [(repo, issue) for (repo, issue) in nodes if repo in REPOS]

6
helpers/zenhub.py
View File

@ -41,6 +41,12 @@ def fetch_workspace_graph(op, workspace_id, repos, cursor):
dependencies.page_info.end_cursor()
# Fetches the dependency graph involving the given `repos` from the given `workspace_id`.
#
# `repos` is a list of GitHub repo IDs.
#
# Returns a list of `(blocking, blocked)` tuples corresponding to DAG edges.
# `blocking` and `blocked` are both `(repo_github_id, issue_number)` tuples.
def get_dependency_graph(endpoint, workspace_id, repos):
edges = []
cursor = None