GitHub repository: DOMtutor/deployment
Description: Some deployment templates for the DOMjudge environment