gitpull.php added for development