From d8f91505422ad9c33081c1ba336685c176f78eaa Mon Sep 17 00:00:00 2001
From: Shengqi Chen <harry-chen@outlook.com>
Date: Wed, 24 Apr 2024 14:37:26 +0800
Subject: [PATCH] github-release: print error more friendly

Signed-off-by: Shengqi Chen <harry-chen@outlook.com>
---
 github-release.py | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/github-release.py b/github-release.py
index 59d79c5..b23dce4 100755
--- a/github-release.py
+++ b/github-release.py
@@ -207,7 +207,7 @@ def main():
             r.raise_for_status()
             releases = r.json()
         except:
-            traceback.print_exc()
+            print(f"Error: cannot download metadata for {repo}:\n{traceback.format_exc()}")
             break
 
         n_downloaded = 0
@@ -236,6 +236,7 @@ def main():
     for i in range(args.workers):
         task_queue.put(None)
 
+    # XXX: this does not work because `cleaning` is always False when `REPO`` is not empty
     if cleaning:
         local_filelist = []
         for local_file in working_dir.glob('**/*'):