Martin Ågren writes:
> But on the topic of preferring shorter, I sort of wonder if we really
> need to provide all of those filenames here. The point we're trying to
> make is that we consider another source. So something like this would be
> just as technically correct, I think:
>
> Use the gi
On Wed, 6 Mar 2019 at 12:17, Denton Liu wrote:
>
> In the git-clean documentation, -x and -e documented .gitignore,
> $GIT_DIR/info/excludes but neglected to mention the file pointed to by
> core.excludesFile.
Nit: I suppose it doesn't so much document it, as mention it. So
In the git-clean do
In the git-clean documentation, -x and -e documented .gitignore,
$GIT_DIR/info/excludes but neglected to mention the file pointed to by
core.excludesFile.
Explicitly mention that variable so that the list is exhaustive.
Reported-by: Robert P. J. Day
Signed-off-by: Denton Liu
---
Documentation/
3 matches
Mail list logo
