Skip those repos too

This commit is contained in:
decentral1se 2021-06-03 11:45:30 +02:00
parent 87f9c16db4
commit e573794367
Signed by untrusted user who does not match committer: decentral1se
GPG Key ID: 92DAD76BD9567B8A

View File

@ -82,6 +82,8 @@ def main():
repos = [p["full_name"] for p in get_repos_json()]
repos.sort()
for repo in repos:
if repo.split("/")[-1] in REPOS_TO_SKIP:
continue
print(f'"{repo}",')