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!
---
 package.yaml | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

(limited to 'package.yaml')

diff --git a/package.yaml b/package.yaml
index 64bf70b..3bcac30 100644
--- a/package.yaml
+++ b/package.yaml
@@ -71,8 +71,7 @@ executables:
       - lucid
       - servant-lucid
       - http-types
-      - cli-git
-      - cli-extras
+      - process
       - extra
       - microlens-platform
       - fmt
-- 
cgit v1.2.3