Comment by formerly_proven

4 days ago

.git/info/exclude

In the above case, since this touches the local repo, wouldn't a .gitconfig include.path be a better option?

Just in case it's unclear, you'd then set an excludesFile in the included file to the path to a file like jj.gitignore that has a line like .jj in it.

Unfortunately not. Git clean still tries to, well, clean it. Unless I goofed it, which is a >0 possibility, I will happily concede.