jenkins: remove krebs sync jobs

This commit is contained in:
Ingolf Wagner 2020-03-18 11:43:55 +08:00
parent 6220e229e4
commit 8e5fdfa34a
No known key found for this signature in database
GPG key ID: 76BF5F1928B9618B

View file

@ -152,14 +152,6 @@ in {
{ Test = [ ''nix-shell ./jenkins.nix --run "cabal test"'' ]; }
])
# sync to me
# ----------
(sync-to-github "sync-nixwriters" "https://cgit.krebsco.de/nix-writers/"
"ssh://gogs@workhorse.private:2222/krebs/nix-writers.git")
(sync-to-github "sync-krops" "https://cgit.krebsco.de/krops/"
"ssh://gogs@workhorse.private:2222/krebs/krops.git")
# sync to github
# --------------
(sync-to-github "sync-radiodj"