DevOps tools for developing & deploying the GeoNode Summit 2016 website - View it on GitHub