diff --git a/.git-blame-ignore-revs b/.git-blame-ignore-revs index a158bf4ba..b4a95db9c 100644 --- a/.git-blame-ignore-revs +++ b/.git-blame-ignore-revs @@ -1,2 +1,5 @@ # pre-commit run -a (Guilhem Saurel, 2022-07-26) a7abe2312a94b28f01173d6db5f74bb26c934e10 +# switch to gersemi and pre-commit run -a (ManifoldFR, 2024-10-23) +f743a57ca5b83cc19669cac3d3541c23ea89a74a +ad86c1842091800eeff5fdcb32e766ac2338e50c