ignore github.php