correction to git.php