Rename coveralls-to-github to coveralls-to-github.php