logoalt Hacker News

der_gopheryesterday at 6:18 PM1 replyview on HN

yes, but user level is not a repo level


Replies

sReinwaldyesterday at 8:01 PM

Yes, but this is exactly the sort of thing that should be a user-level configuration. A personal scratch directory has nothing to do with the repository itself and doesn’t belong in a repo’s .gitignore.

If it's only needed for one particular checkout, .git/info/exclude is the other obvious option.

show 1 reply