Use a variable for the contest repo at the CDS

Author: vmcj

provision-contest/ansible/admin.yml

@@ -78,10 +78,10 @@
           # We use a different directory here to have one single 'upstream' and not have issues with it
           git: repo={{ dj_git_repo_scripts }} dest=/home/domjudge/domjudge-scripts-checkout version=main accept_hostkey=yes update=no
 
-        - name: Create working copy of the wf2021 repo
+        - name: Create working copy of the contest repo
           become: true
           become_user: domjudge
-          git: repo=git@cds:wf2021 dest=/home/domjudge/wf2021 version=master accept_hostkey=yes update=no
+          git: repo=git@cds:{{ CONTEST_REPO }} dest=/home/domjudge/{{ CONTEST_REPO }} version=master accept_hostkey=yes update=no
 
     - name: Copy custom CSS file for admin machines
       copy:

provision-contest/ansible/group_vars/all/all.yml.example

@@ -67,6 +67,7 @@ DJ_GIT_REPO: "https://github.com/domjudge/domjudge.git"
 DJ_GIT_REPO_RESTRICTED: "domjudge@{{DJ_GIT_HOST}}:domjudge"
 DJ_GIT_REPO_SCRIPTS: "https://github.com/domjudge/domjudge-scripts.git"
 DJ_GIT_REPO_SCRIPTS_RESTRICTED: "domjudge@{{DJ_GIT_HOST}}:domjudge-scripts-bare"
+CONTEST_REPO: "wf2021"
 
 PHPSTORM_VERSION: 2022.2
 PHPSTORM_FULL_VERSION: 222.4345.15