From 64090c3577d2759ce9b3ac646337fbe3b03e3d05 Mon Sep 17 00:00:00 2001
From: Marco <mrckndt@riseup.net>
Date: Sat, 26 Aug 2023 14:27:10 +0200
Subject: [PATCH] remove unused options and prune on fetch

---
 git/.gitconfig | 6 ++----
 1 file changed, 2 insertions(+), 4 deletions(-)

diff --git a/git/.gitconfig b/git/.gitconfig
index 8b779a1..4f167b8 100644
--- a/git/.gitconfig
+++ b/git/.gitconfig
@@ -5,8 +5,6 @@
 [core]
     compression = 9
     excludesfile = ~/.gitignore
-    pager = less -F -X
-    #pager = cat
 [color]
     ui = auto
 [diff]
@@ -15,9 +13,9 @@
     default = current
 [pull]
     rebase = false
+[fetch]
+    prune = true
 [help]
     autocorrect = 1
 [init]
     defaultBranch = main
-[cola]
-	spellcheck = false