git no longer ignores config.inc.php