Deleting the whole directory, for a new pull, cause' the problems in github