fixed a bug in github.php