Sometimes we forgot the pulling and did lots of works in the local environment.
If someone want to push without pull,
git push --force
is working. This is not recommended when working with other people, but when your work is a simple thing or a personal toy project, it will be a quick solution.