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. 😛