📝 Add installation of git-filter-repo

Author: veit

docs/productive/git/best-practices.rst

@@ -347,5 +347,5 @@ following in the :file:`.pre-commit-config.yaml` file:
       class MyClass:
           client_secret = "Srtub6pZcTSET9V4vUpUg7xPi64sh3NV"  #gitleaks:allow
 
-With :ref:`git-filter-repo <git-filter-repo>` you can remove unwanted files from
-your Git history.
+With :ref:`git-filter-repo <git-filter-repo:>` you can remove unwanted files
+from your Git history.

docs/productive/git/undo.rst

@@ -289,7 +289,7 @@ necessary if, for example, you have accidentally added passwords or a very large
 file to the repository.
 
 To do this, you need to install `git-filter-repo
-<https://github.com/newren/git-filter-repo>`_, for example with ``uv add
+<https://github.com/newren/git-filter-repo>`__, for example with ``uv add
 git-filter-repo``. Then you can delete your file, for example with
 :samp:`{PATH/SOMEFILE}`: