From 3b144c97636620a6fbd3807a8847b5751f86a52d Mon Sep 17 00:00:00 2001
From: stuebinm
Date: Wed, 16 Feb 2022 17:59:19 +0100
Subject: server: remove cli-git, cli-extras

both these packages are hard to use, seem to be either unfinished or
abandoned, and also generally not very good.

Also for some reason they depend on `lens`. Removing them dramatically
shrunk the dependency closure!
---
 walint.cabal | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

(limited to 'walint.cabal')

diff --git a/walint.cabal b/walint.cabal
index 6a2ed46..e721b0d 100644
--- a/walint.cabal
+++ b/walint.cabal
@@ -98,8 +98,6 @@ executable walint-server
     , base-compat
     , base64-bytestring
     , bytestring
-    , cli-extras
-    , cli-git
     , containers
     , cryptohash-sha1
     , directory
@@ -111,6 +109,7 @@ executable walint-server
     , lucid
     , microlens-platform
     , mtl
+    , process
     , servant
     , servant-lucid
     , servant-server
-- 
cgit v1.2.3