From f01ab01333e2e724661b1597495786434fe0c04e Mon Sep 17 00:00:00 2001 From: Michael Vasseur <14887731+vmcj@users.noreply.github.com> Date: Thu, 12 Sep 2024 17:58:17 +0200 Subject: [PATCH] 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 | 16 ++++++++++++++++ 1 file changed, 16 insertions(+) diff --git a/provision-contest/ansible/admin.yml b/provision-contest/ansible/admin.yml index 7f5b67f8..f36a6f78 100644 --- a/provision-contest/ansible/admin.yml +++ b/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: ansible@10.3.3.224:domjudge + - remote: github + url: git@github.com: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