mediawiki: add odg to supported file extensions

[chef.git] / roles / mail.rb

diff --git a/roles/mail.rb b/roles/mail.rb
index f434cd0e86df3883cd83d8d253df5c3e10434321..d1b2af87d387bf5285de72442c433888f3aa6399 100644 (file)
--- a/roles/mail.rb
+++ b/roles/mail.rb
@@ -46,6 +46,11 @@ default_attributes(
         :comment => "join.osmfoundation.org",
         :domains => ["join.osmfoundation.org"],
         :host => "ridley.ucl.openstreetmap.org"
+      },
+      :community => {
+        :comment => "community.openstreetmap.org",
+        :domains => ["community.openstreetmap.org"],
+        :host => "jakelong.dub.openstreetmap.org::2500"
       }
     },
     :dkim_selectors => {
@@ -93,7 +98,7 @@ default_attributes(
   },
   :prometheus => {
     :metrics => {
-      :exim_queue_limit => { :metric => 500 }
+      :exim_queue_limit => { :metric => 250 }
     }
   }
 )