PHP Git deployment script that avoids deployment as web server user.