Ditto. I use a GitHub webhook on a production branch which securely calls a deploy.php script, which triggers a git pull.