From 4aaa440f5856e69527ea50794b96ce56d57a2ed5 Mon Sep 17 00:00:00 2001
From: Gaetan Lepage <gaetan@glepage.com>
Date: Sun, 14 Dec 2025 15:20:38 +0100
Subject: [PATCH] plugins/gitgutter: remove dead file

---
 plugins/by-name/gitgutter/renamed-options.nix | 70 -------------------
 1 file changed, 70 deletions(-)
 delete mode 100644 plugins/by-name/gitgutter/renamed-options.nix

diff --git a/plugins/by-name/gitgutter/renamed-options.nix b/plugins/by-name/gitgutter/renamed-options.nix
deleted file mode 100644
index 6534363c..00000000
--- a/plugins/by-name/gitgutter/renamed-options.nix
+++ /dev/null
@@ -1,70 +0,0 @@
-lib:
-[
-  "maxSigns"
-  {
-    old = "showMessageOnHunkJumping";
-    new = "show_msg_on_hunk_jumping";
-  }
-  {
-    old = "defaultMaps";
-    new = "map_keys";
-  }
-  {
-    old = "allowClobberSigns";
-    new = "sign_allow_clobber";
-  }
-  "signPriority"
-  {
-    old = "matchBackgrounds";
-    new = "set_sign_backgrounds";
-  }
-  {
-    old = "diffRelativeToWorkingTree";
-    new = "diff_relative_to";
-  }
-  {
-    old = "extraGitArgs";
-    new = "git_args";
-  }
-  {
-    old = "extraDiffArgs";
-    new = "diff_args";
-  }
-  {
-    old = "enableByDefault";
-    new = "enabled";
-  }
-  {
-    old = "signsByDefault";
-    new = "signs";
-  }
-  "highlightLines"
-  {
-    old = "highlightLineNumbers";
-    new = "highlight_linenrs";
-  }
-  {
-    old = "runAsync";
-    new = "async";
-  }
-  "previewWinFloating"
-  "useLocationList"
-  "terminalReportFocus"
-]
-++
-  lib.mapAttrsToList
-    (oldName: newName: {
-      old = [
-        "signs"
-        oldName
-      ];
-      new = "sign_${newName}";
-    })
-    {
-      added = "added";
-      modified = "modified";
-      removed = "removed";
-      removedFirstLine = "removed_first_line";
-      removedAboveAndBelow = "removed_above_and_below";
-      modifiedRemoved = "modified_removed";
-    }