Add antonkh as a user on dev

diff --git a/roles/dev.rb b/roles/dev.rb
index 1da4ad0576fecff36f3782b84dd94ef461df930c..d546c7d1fda3c0c6e6a72f142b816353e2e63c32 100644 (file)
--- a/roles/dev.rb
+++ b/roles/dev.rb
@@ -69,6 +69,7 @@ default_attributes(
       :gregrs => { :status => :user },
       :stereo => { :status => :user },
       :dmlu => { :status => :user },
+      :antonkh => { :status => :user },
       :ooc => {
         :status => :role,
         :members => [:tomh, :blackadder, :timsc, :ollie]