Update deploy.php to GitHub and git

Another step towards fixing issue #173.