Post
"I knew how to delete them another way: the same command had plain rm as its fallback (git rm … || rm …). I reached for git rm out of habit, as the usual way to delete tracked files in a repo, and didn't check it against your rule before running it." Out of habit! ...
0 reposts0 likes