chg: deb signing key moved

[infra.git] / environments / production / manifests / gigi.pp

diff --git a/environments/production/manifests/gigi.pp b/environments/production/manifests/gigi.pp
index 44ac47d97b8a9bd76344767ee1849745dd0b0c52..a1431aac9de528b86e14703fc46b116f5f5f371e 100644 (file)
--- a/environments/production/manifests/gigi.pp
+++ b/environments/production/manifests/gigi.pp
@@ -20,7 +20,7 @@ node gigi {
   }
 
   apt_key{ 'E643C483A426BB5311D26520A631B6AF9FD3DF94':
-    source => 'http://deb.dogcraft.de/signer.gpg',
+    source => 'http://deb2.dogcraft.de/signer.gpg',
     ensure => 'present'
   } ->
   file { '/etc/apt/sources.list.d/dogcraft.list':