git push -f for problems with pushing file