Auto-deploy merged PRs on dreditor.org

[markhalliwell]

Open-source solutions:

• Github-Auto-Deploy (http://logsol.github.io/Github-Auto-Deploy)
• SlimJim (https://github.com/jesalg/SlimJim)?
• Custom (https://developer.github.com/guides/delivering-deployments)
• Jenkins (http://jenkins-ci.org)
  • https://wiki.jenkins-ci.org/display/JENKINS/Github+Plugin
  • https://wiki.jenkins-ci.org/display/JENKINS/Git+Plugin

Paid solutions:

• $19/mo - CircleCI (https://circleci.com)