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.

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