From dbfac0d10214571160e1dd0d59f597987e8391f6 Mon Sep 17 00:00:00 2001 From: Ingolf Wagner Date: Fri, 27 Mar 2020 17:12:14 +0800 Subject: [PATCH] jenkins: sync radio-dj with github --- configs/workhorse/jenkins.nix | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/configs/workhorse/jenkins.nix b/configs/workhorse/jenkins.nix index 370dbb7..85bac38 100644 --- a/configs/workhorse/jenkins.nix +++ b/configs/workhorse/jenkins.nix @@ -156,8 +156,11 @@ in { # sync to github # -------------- (sync-to-github "sync-radiodj" - "ssh://gogs@workhorse.private:2222/crashburn_radio/radio_dj.git" + "ssh://gogs@workhorse.private:2222/crashburn_radio/radio-dj2.git" "git@github.com:crashburn-radio/radio-dj.git") + (sync-to-github "sync-radiodj-tracks" + "ssh://gogs@workhorse.private:2222/crashburn_radio/radio-dj-tracks.git" + "git@github.com:crashburn-radio/radio-dj-tracks.git") (sync-to-github "sync-krops-module" "ssh://gogs@workhorse.private:2222/nix-modules/krops.git"