restrict smglom_debug to archives
I would like to do something like
smglom_debug.py -ma -v3 ../../topology
but this gives me errors like
Error while obtaining statistics for repo ../../topology/latexml:
File "/Users/kohlhase/localmh/MathHub/smglom/meta-inf/bin/smglom_harvest.py", line 514, in gather_data_for_all_repos
gather_data_for_repo(path, ctx)
File "/Users/kohlhase/localmh/MathHub/smglom/meta-inf/bin/smglom_harvest.py", line 482, in gather_data_for_repo
for file_name in os.listdir(dir_path):
The problem is that MMT makes subdirs like latexml
, and the script should only descend into source
.