Allow bare repo and upstream usage

There is a correlation between the restricted network and dedicated git
repo this makes this very explicit.

Author: vmcj

icpc-wf/ansible/group_vars/all/all.yml

@@ -38,6 +38,7 @@ PHP_MAX_FILE_UPLOADS: 101
 # Git repo URL
 DJ_GIT_HOST: "{{MAIN_ADMIN_IP}}"
 DJ_GIT_REPO: "domjudge@{{DJ_GIT_HOST}}:domjudge"
+DJ_GIT_REPO_UPSTREAM: "https://github.com/domjudge/domjudge.git"
 DJ_GIT_REPO_SCRIPTS: "domjudge@{{DJ_GIT_HOST}}:domjudge-scripts-bare"
 
 PHPSTORM_VERSION: 2021.2

icpc-wf/ansible/roles/domjudge_checkout/tasks/main.yml

@@ -13,6 +13,14 @@
   become_user: domjudge
   git: repo={{DJ_GIT_REPO}} dest={{DJ_DIR}} version={{DJ_BRANCH}} accept_hostkey=yes update=yes
   register: git_working_copy
+  when: WF_RESTRICTED_NETWORK
+
+- name: create working copy of the domjudge repo
+  become: yes
+  become_user: domjudge
+  git: repo={{DJ_GIT_REPO_UPSTREAM}} dest={{DJ_DIR}} version={{DJ_BRANCH}} accept_hostkey=yes update=yes
+  register: git_working_copy
+  when: WF_RESTRICTED_NETWORK != true
 
 - name: Check composer dependencies present
   become: no