Fix git push