Closed mcandre closed 1 year ago
Namely, remove dev tools.
This is somewhat problematic.
The cleanup command must be run before the local git repository is deleted.
Namely, remove dev tools.