added convenience method to delete complete trees in GitMapping