in lib/metric-config-parser/metric_config_parser/config.py [0:0]
def __del__(self):
# remove the temporary directories repos have been saved in
if self.is_tmp_repo:
git_dir = Path(self.repo.git_dir)
# don't delete repos that come from local directories
if git_dir.parent.exists():
shutil.rmtree(git_dir.parent)