Copy settings.local.php to sites/default (preliminary to actually using it instead of using the repo file directly)