misc/collect.py: get release name from json files
authorMoritz Warning <moritzwarning@web.de>
Sun, 13 Sep 2020 12:37:48 +0000 (14:37 +0200)
committerMoritz Warning <moritzwarning@web.de>
Sun, 13 Sep 2020 12:44:34 +0000 (14:44 +0200)
commitaa1fdbb6ffce82ecfb56e217ca02c8108caca884
treecdd86f628e91540f52bb5628484df4aaeec60a44
parent19ab3c22edb1bd75549bcd37d7e07494bd7f8120
misc/collect.py: get release name from json files

instead of from directory names
misc/collect.py