github.php function exec