| ▲ | der_gopher 3 hours ago | |
yes, but user level is not a repo level | ||
| ▲ | sReinwald an hour ago | parent [-] | |
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. | ||