Merge pull request #1544 from YunoHost/bot-repo-cleanup

.gitignore

@@ -5,6 +5,7 @@
 .apps_cache
 builds
 tools/README-generator/venv/
+tools/bot-repo-cleanup/.github_token
 
 tools/autopatches/login
-tools/autopatches/token
+tools/autopatches/token

bot-repo-cleanup/cleanup.py

@@ -0,0 +1,26 @@
+#!venv/bin/python3
+
+# Obtained with `pip install PyGithub`, better within a venv
+from github import Github
+from github.Workflow import Workflow
+
+# API token for yunohost-bot, with "delete_repo" right
+g = Github(open(".github_token").read().strip())
+u = g.get_user("yunohost-bot")
+
+# Let's build a minimalistic summary table
+print("| Repository ".ljust(22) + " | Decision |")
+print("| ".ljust(22, '-')       + " | -------- |")
+
+# For each repositories belonging to the bot (user `u`)
+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 |")
+    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')) ]):
+            print("| "+repo.name.ljust(20) + " | Deleting |")
+            repo.delete()
+        else:
+            print("| "+repo.name.ljust(20) + " | Keeping  |")