problem with git push/pull, everything else normal