git/Documentation, branch v2.25.3

Git 2.25.3

2020-03-18T01:12:01Z

Signed-off-by: Junio C Hamano

Git 2.25.2

2020-03-17T22:06:37Z

Signed-off-by: Junio C Hamano

Merge branch 'jk/doc-credential-helper' into maint

2020-03-17T22:02:26Z

Docfix. * jk/doc-credential-helper: doc: move credential helper info into gitcredentials(7)

Merge branch 'jc/doc-single-h-is-for-help' into maint

2020-03-17T22:02:24Z

Both "git ls-remote -h" and "git grep -h" give short usage help, like any other Git subcommand, but it is not unreasonable to expect that the former would behave the same as "git ls-remote --head" (there is no other sensible behaviour for the latter). The documentation has been updated in an attempt to clarify this. * jc/doc-single-h-is-for-help: Documentation: clarify that `-h` alone stands for `help`

Merge branch 'en/check-ignore' into maint

2020-03-17T22:02:23Z

"git check-ignore" did not work when the given path is explicitly marked as not ignored with a negative entry in the .gitignore file. * en/check-ignore: check-ignore: fix documentation and implementation to match

Merge branch 'jk/push-option-doc-markup-fix' into maint

2020-03-17T22:02:22Z

Doc markup fix. * jk/push-option-doc-markup-fix: doc/config/push: use longer "--" line for preformatted example

Merge branch 'jk/doc-diff-parallel' into maint

2020-03-17T22:02:22Z

Update to doc-diff. * jk/doc-diff-parallel: doc-diff: use single-colon rule in rendering Makefile

Git 2.24.2

2020-03-17T21:36:45Z

Signed-off-by: Junio C Hamano

Git 2.23.2

2020-03-17T21:33:34Z

Signed-off-by: Junio C Hamano

Git 2.22.3

2020-03-17T21:24:55Z

Signed-off-by: Junio C Hamano