Hack to get around changes in the git client, as per circleci.