git clone git://develop.git.wordpress.org/ develop
After cloning the core development repository with Git, considering the files and folders are under version control, how can the config files be renamed to
.git src/ tests/ tools/ ... wp-config-sample.php wp-tests-config-sample.php
I'm aware I can do
git mv wp-config-sample.php wp-config.php but now my working copy is different from the upstream repository.