diff options
| author | jeschli <jeschli@gmail.com> | 2018-10-26 12:25:40 +0200 |
|---|---|---|
| committer | jeschli <jeschli@gmail.com> | 2018-10-26 12:25:40 +0200 |
| commit | a6670e5090dd71aacd7c7605b12d8d3410d25daa (patch) | |
| tree | 8475a3cc3583d94959a1cc8b6effcd3b8c10a32a /krebs/2configs | |
| parent | f6ad60a0c6cbac45e8ba715b24a7a37f8e2560dc (diff) | |
| parent | 24f4e8dcf0eca55378fa018a9ed980625222653d (diff) | |
Merge remote-tracking branch 'origin/master'
Diffstat (limited to 'krebs/2configs')
| -rw-r--r-- | krebs/2configs/buildbot-stockholm.nix | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/krebs/2configs/buildbot-stockholm.nix b/krebs/2configs/buildbot-stockholm.nix index d10fb7203..5784f2cdc 100644 --- a/krebs/2configs/buildbot-stockholm.nix +++ b/krebs/2configs/buildbot-stockholm.nix @@ -22,6 +22,12 @@ "http://cgit.ni.r/disko" "http://cgit.prism.r/disko" ]; + krops.urls = [ + "http://cgit.hotdog.r/krops" + "http://cgit.ni.r/krops" + "http://cgit.prism.r/krops" + "https://git.ingolf-wagner.de/krebs/krops.git" + ]; nix_writers.urls = [ "http://cgit.hotdog.r/nix-writers" "http://cgit.ni.r/nix-writers" |