|
| ▲ | zelphirkalt 6 minutes ago | parent | next [-] |
| This has the disadvantage though, that this user level gitignore file will not be in the repo, which means that other less careful contributors have to fix ignoribg for themselves. |
|
| ▲ | saghm 4 hours ago | parent | prev | next [-] |
| I only realized very recently that being able to specify .gitignore files in any part of a repo can be combined with wildcards to just put `.gitignore` with `*` in a arbitrary directories to make them get ignored without needing to modify any wider configuration. |
|
| ▲ | der_gopher 3 hours ago | parent | prev [-] |
| 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. |
|