DEBUGGING problems with Git on Travis CI