Remove checkout directory

[jose]

Hi @tdurieux,

This is a feature request a not a bug report. Could you please make RepairThemAll remove the checkout/temporary directory at the end of each experiment? I've just noticed it does not do that and I'm pretty sure no one would like to end up with thousands of temporary directories. 😄

--
Thanks in advance,
Jose

[tdurieux]

Normally, it should do it (see https://github.com/program-repair/RepairThemAll/blob/master/script/core/repair_tools/Astor.py#L141)

But I know that I commented sometime this line to debug, I probably pushed the debug version for some of the tools.
I will check that