While updating rmtool I noticed that previously it saved its data to /data/project/removed_tools, while /data/project/.system/removed_tools seems a) safer to avoid clashes with a tool "removed_tools" and b) appears to have been the actual destination by looking at its contents in eqiad.
So, Coren, could you please access the pmtpa data and:
- Check whether /data/project/removed_tools is empty, and
- if it is not, copy its contents to /data/project/removed_tools/pmtpa for further processing.
If the pmtpa data has already been deleted, this wouldn't be too bad, as we (hopefully :-)) don't guarantee that we keep *removed* tools forever, however if there's something, no point in throwing it away.
Version: unspecified
Severity: enhancement