There was a problem with push'e on the github of the local repository: some files are not transferred, which have been changed, but only in the name of the name, i.e. it used to be text - now Text, the files on the server remain the same, how to fix it?
Win7, tortoisegit.