do no delete data folder

it might have data we want to keep

diff --git a/misc/collect.py b/misc/collect.py
index 60116704ff1e4331ec540a50f4d9d74b5d6d617d..3e381a3e73ee1e32d647ddb30a424c80d9f3d718 100755 (executable)
--- a/misc/collect.py
+++ b/misc/collect.py
@@ -3,7 +3,6 @@
 from pathlib import Path
 import urllib.request
 import argparse
-import shutil
 import json
 import sys
 import os
@@ -132,8 +131,6 @@ def scrape(url, selector_path):
       print(f"file not found: {config_path}")
       exit(1)
 
-  shutil.rmtree(data_path, ignore_errors=True)
-
   # fetch release URLs
   with urllib.request.urlopen(url) as infile:
     for path in re.findall(r'href=["\']?([^\'" >]+)', str(infile.read())):