fix git push error