From 0c62da0f7fc1bfbb4ceb8dd1dfc344d0f3c0d545 Mon Sep 17 00:00:00 2001
From: Gabriel Arazas <foodogsquared@foodogsquared.one>
Date: Fri, 3 Mar 2023 17:16:15 +0800
Subject: [PATCH] profiles/dev: add git-filter-repo to Git toolbelt

---
 modules/nixos/profiles/dev.nix | 1 +
 1 file changed, 1 insertion(+)

diff --git a/modules/nixos/profiles/dev.nix b/modules/nixos/profiles/dev.nix
index 214102ec..b648d56f 100644
--- a/modules/nixos/profiles/dev.nix
+++ b/modules/nixos/profiles/dev.nix
@@ -102,6 +102,7 @@ in {
         tea # Make some Tea...
         hut # ...in the Hut...
         github-cli # ...in the GitHub CLI.
+        git-filter-repo # History is written by the victors (and force-pushers which are surely not victors).
       ]);
 
       systemd.user.services.nix-upgrade-profile = {