ขอถามเรื่องการใช้ PHP exec batch file และการเชื่อมต่อกับ github ค่ะ

<?php
	$ip = "192.168.104.105";
	$exe= shell_exec("ping -n 3 $ip");
	if(strrpos($exe, "100% loss") > 0)
	{
		 echo "Server Offline";
	}
	else
	{
		echo "Server Online";
	}
?>

protected static $bin = 'C:/Users/Administrator/AppData/Local/GitHub/PortableGit_054f2e797ebafd44a30203088cd3d58663c627ef/bin/git';

	require_once('Git.php');  // เรียกใช้ไฟล์ lib ที่โหลดมา
	$repo = Git::open('gitphp');  // -or- Git::create('/path/to/repo') // เป็นพาทของ repositories ที่เราสร้างไว้ค่ะ
	$repo->run(' config  user.email "your email"'); //ใส่เมล์ที่ลงทะเบียนกับ github
	$repo->run(' config  user.name "your username"');	ใส่ username ที่ลงทะเบียนกับ github 
echo $repo->run(' log -p'); //ทดลองใช้คำสั่ง git