Using Dokku to Deploy PHP Applications with a "git push" on DigitalOcean | Hacker News Reader