git annoyances: git fetch does nothing; git pull works?