diff options
| author | tv <tv@krebsco.de> | 2018-10-27 15:02:39 +0200 |
|---|---|---|
| committer | tv <tv@krebsco.de> | 2018-10-27 15:02:39 +0200 |
| commit | 212bc39249f9792cbedf2e9a6b3fed90c52c63e7 (patch) | |
| tree | de2a5cf0be852b8beb8317481649460194f40d5b /krebs/2configs | |
| parent | 34e1f09bf5e233bee78ee63166d2a1d9944a51f9 (diff) | |
| parent | 24f4e8dcf0eca55378fa018a9ed980625222653d (diff) | |
Merge remote-tracking branch 'prism/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" |