GitHub repository: mvr320/domjudge-scripts
Description: DOMjudge developer/maintainer helper scripts