settings.php now dynamic (defaults.php) - hurray!

You can now directly update from git, without replacing settings.php
with settings_backup.php.