made some changes to github.php