added semicolon to pullrepo.php