git push with git gui works fine