This causes issues with git clone. You can rename this directory from github dev, just press the . key in the repo from your browser.