fix git push and pull