Add remotes

The idea is to have 4 remotes, 1 which we can change if the other host
gets up and the others to make sure we can still work on possible
branches or rebase against them.

Author: vmcj

provision-contest/ansible/admin.yml

@@ -143,6 +143,22 @@
       become: true
       become_user: domjudge
       block:
+        - name: Add ccsadmin remote
+          git_config:
+            name: "remote.{{ item.remote }}.url"
+            value: "{{ item.url }}"
+            scope: local
+            repo: /home/domjudge/domjudge-checkout
+          loop:
+            - remote: origin
+              url: [email protected]:domjudge
+            - remote: github
+              url: [email protected]:DOMjudge/domjudge.git
+            - remote: sysops
+              url: domjudge@packages:domjudge.git
+            - remote: initial
+              url: ansible@domjudge-ccsadmin1:domjudge.git
+
         - name: Create working copy of the domjudge-scripts repo
           # 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