fixing git push