https://pantsbuild.org/ logo
c

curved-television-6568

02/09/2022, 4:30 PM
Perhaps even have a step in the release script that actively removes the file, (rm -f won’t err if it doesn’t exist, iirc). nvm: doesn’t matter as the git state isn’t clean, as you said… just tossing out alternatives to something that already works. duh. 😛