It seems that "the diff display" is wrong by "git push -f."