Update githubpull.php