trying to resolve git push problems