TIL that pathnames in git configs can be optional

Git 2.52 includes a feature that makes working with ignore-revs-files mroe comfortable. Here is a brief explanation.