•  
      request #41430 Delete Git repository without shelling out to a system command