RepoDemo/git-repo
1
0
Fork 0
mirror of https://github.com/Dev-Wiki/git-repo.git synced 2025-10-07 10:12:15 +08:00
Code Issues Packages Projects Releases Wiki Activity

cleanup: use new dict & set generator styles

Browse Source 
Change-Id: Ie34ac33ada7855945c77238da3ce644f8a9f8306
Reviewed-on: https://gerrit-review.googlesource.com/c/git-repo/+/390374
Tested-by: Mike Frysinger <vapier@google.com>
Commit-Queue: Mike Frysinger <vapier@google.com>
Reviewed-by: Aravind Vasudevan <aravindvasudev@google.com>
This commit is contained in:
Jason R. Coombs
2023-10-20 23:29:42 +05:45
committed by LUCI
parent 7393f6bc41
commit 0bcffd8656
3 changed files with 8 additions and 8 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
subcmds/sync.py
View File

@@ -943,7 +943,7 @@ later is required to fix a server side protocol bug.
break
# Stop us from non-stopped fetching actually-missing repos: If set
# of missing repos has not been changed from last fetch, we break.
missing_set = set(p.name for p in missing)
missing_set = {p.name for p in missing}
if previously_missing_set == missing_set:
break
previously_missing_set = missing_set