Delete github.php

not needed anymore.