From e6872941578e0988b4d1f2eca6fbf59e655a0957 Mon Sep 17 00:00:00 2001
From: Clement Delafargue <clement.delafargue@fretlink.com>
Date: Mon, 1 Jul 2019 17:31:30 +0200
Subject: Clever Cloud metrics are now enabled by default

---
 dhall/Config.dhall   | 2 +-
 dhall/mkConfig.dhall | 4 ++--
 2 files changed, 3 insertions(+), 3 deletions(-)

(limited to 'dhall')

diff --git a/dhall/Config.dhall b/dhall/Config.dhall
index c095403..5b7eab2 100644
--- a/dhall/Config.dhall
+++ b/dhall/Config.dhall
@@ -17,7 +17,7 @@ in    λ(Environment : Type)
           Optional Text
       , clever_haskell_entry_point :
           Optional Text
-      , clever_metrics :
+      , clever_disable_metrics :
           Bool
       , clever_addons :
           List Addon
diff --git a/dhall/mkConfig.dhall b/dhall/mkConfig.dhall
index 413ea5a..d2ec034 100644
--- a/dhall/mkConfig.dhall
+++ b/dhall/mkConfig.dhall
@@ -23,8 +23,8 @@ in    λ(vault : Vault)
             None Text
         , clever_haskell_entry_point =
             None Text
-        , clever_metrics =
-            True
+        , clever_disable_metrics =
+            False
         , clever_addons =
             [] : List Addon
         , clever_env =
-- 
cgit v1.2.3