hard reset before push

because git push may call git pull