I couldn't find answer from previous questions nor drupal.org/pantheon.io.
There isn't a settings.php if I clone the repository from pantheon.io nor a settings.local.php.
If I create a settings.local.php file, it still thinks it's a fresh install and redirects to install.php, which means it doesn't recognize that file.
How do I use the settings.local.php file?
Naturally, all works if I create a settings.php file.
Can't I just create settings.php for the development site and add a reference to it in the .gitignore file to avoid it will be pushed on the remote repository?