X-Git-Url: https://git.openstreetmap.org./chef.git/blobdiff_plain/e853e01ce12dd28b80ebb9248bd4feccd2c485fa..4794ca67bef30bd8247e18a9d12e7ece170c8c21:/roles/dev.rb

diff --git a/roles/dev.rb b/roles/dev.rb
index 7d72ca6e5..1d0400fd3 100644
--- a/roles/dev.rb
+++ b/roles/dev.rb
@@ -68,6 +68,7 @@ default_attributes(
       :enelson => { :status => :user },
       :gregrs => { :status => :user },
       :stereo => { :status => :user },
+      :dmlu => { :status => :user },
       :ooc => {
         :status => :role,
         :members => [:tomh, :blackadder, :timsc, :ollie]
@@ -126,7 +127,7 @@ default_attributes(
     }
   },
   :postgresql => {
-    :versions => ["9.1", "9.5"],
+    :versions => ["9.1", "12"],
     :settings => {
       :defaults => {
         :shared_buffers => "1GB",
@@ -138,7 +139,7 @@ default_attributes(
       "9.1" => {
         :port => "5433"
       },
-      "9.5" => {
+      "12" => {
         :port => "5432"
       }
     }