From dad3681f9478096c2efe7b730cbe2a00cccd6281 Mon Sep 17 00:00:00 2001 From: Ingolf Wagner Date: Tue, 18 Feb 2020 13:31:45 +0800 Subject: [PATCH] add new image-generator to jenkins --- configs/workhorse/jenkins.nix | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) diff --git a/configs/workhorse/jenkins.nix b/configs/workhorse/jenkins.nix index 746a818..bbbbdad 100644 --- a/configs/workhorse/jenkins.nix +++ b/configs/workhorse/jenkins.nix @@ -207,9 +207,13 @@ in { "git@github.com:mrVanDalo/plops.git") (sync-to-github "sync-image-generator" - "ssh://gogs@workhorse.private:2222/palo/image-generator.git" + "ssh://gogs@workhorse.private:2222/palo/image-generator2.git" "git@github.com:mrVanDalo/image-generator.git") + (sync-to-github "sync-image-generator-lib" + "ssh://gogs@workhorse.private:2222/palo/image-generator-lib.git" + "git@github.com:mrVanDalo/image-generator-examples.git") + (sync-to-github "sync-tech.ingolf-wagner.de" "ssh://gogs@workhorse.private:2222/palo/tech.ingolf-wagner.de.git" "git@github.com:mrVanDalo/tech.ingolf-wagner.de.git")