profiles/dev: add git-filter-repo to Git toolbelt

This commit is contained in:
Gabriel Arazas 2023-03-03 17:16:15 +08:00
parent 54f9f2474e
commit 0c62da0f7f
No known key found for this signature in database
GPG Key ID: ADE0C41DAB221FCC

View File

@ -102,6 +102,7 @@ in {
tea # Make some Tea... tea # Make some Tea...
hut # ...in the Hut... hut # ...in the Hut...
github-cli # ...in the GitHub CLI. 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 = { systemd.user.services.nix-upgrade-profile = {