index.php now correctly in the repository