From ae7fb42d63ab0eef7a785d28105773152bcbd1b1 Mon Sep 17 00:00:00 2001
From: Alan Pearce
Date: Tue, 25 Feb 2025 20:48:16 +0100
Subject: git: remove some unused settings

---
 user/settings/git.nix | 2 --
 1 file changed, 2 deletions(-)

diff --git a/user/settings/git.nix b/user/settings/git.nix
index 3a996f01..54efe25f 100644
--- a/user/settings/git.nix
+++ b/user/settings/git.nix
@@ -120,8 +120,6 @@ in
       lasttag = "!sh -c 'git tag --sort=version:refname | grep \"^v\\\\?[0-9]\" | tail -n1'";
       pending = "!sh -c 'git log --oneline --grep=\"#\" ...$(git lasttag)'";
       lg = "log --pretty=format:'%Cred%h%Creset -%Creset %s %Cgreen(%cr) %C(bold blue)<%an> %Cred%d%Creset'";
-      prl = "log --pretty=format:'%Cred%h%Creset -%Creset %s %Cgreen(%cr) %C(bold blue)<%an> %Cred%d%Creset'  --grep='#'";
-      gen-ignore = "ignore-io";
       ignored = "ls-files --others -i --exclude-standard";
       clear = "clear-soft";
       clear-hard = "!git-clear-hard";
-- 
cgit 1.4.1