delete tools from git