https://pantsbuild.org/ logo
h

hundreds-father-404

02/09/2022, 4:20 PM
my fear there is that a releaser has the file without realizing. Instead I suggest you use
.git/info/exclude
, which is a personal gitignore