diff --git a/tools/bot-repo-cleanup/cleanup.py b/tools/bot-repo-cleanup/cleanup.py index ac2944a4..727ff90a 100644 --- a/tools/bot-repo-cleanup/cleanup.py +++ b/tools/bot-repo-cleanup/cleanup.py @@ -17,7 +17,6 @@ for repo in u.get_repos(): # Proceed iff the repository is a fork (`parent` key is set) of a repository in our apps organization if repo.parent.full_name.split('/')[0] != "YunoHost-Apps": print("| "+repo.name.ljust(20) + " | Skipping |") - continue else: # If none of the PRs are opened by the bot, delete the repository if not any([ (pr.user == u) for pr in list(repo.parent.get_pulls(state='open', sort='created')) ]):