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

Shorten the representation of long repo names

This commit is contained in:
Jack Grigg 2024-01-04 15:33:39 +00:00
parent fb57882712
commit 5c21905c82
1 changed files with 5 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
zcash-issue-dag.py
View File

@ -127,7 +127,11 @@ class GitHubIssue:
def __repr__(self): def __repr__(self):
if self.repo_id in REPOS: if self.repo_id in REPOS:
repo = '/'.join(REPOS[self.repo_id]) repo = REPOS[self.repo_id]
# Shorten the representation of long repo names.
if repo[0] == 'Electric-Coin-Company':
repo = ('ECC', repo[1])
repo = '/'.join(repo)
return '%s#%d' % (repo, self.issue_number) return '%s#%d' % (repo, self.issue_number)
else: else:
return 'Unknown' return 'Unknown'