Change reference to config.php, but ignore it in Git