pull doc: fix a long-standing grammar error

avar · gitster · commit 784cf1b2c2cf · 2018-07-31T09:25:26.000-07:00
It should be "is not an empty string" not "is not empty string". This fixes wording originally introduced in ab9b313 ("Documentation: multi-head fetch.", 2005-08-24). Signed-off-by: Ævar Arnfjörð Bjarmason <avarab@gmail.com> Signed-off-by: Junio C Hamano <gitster@pobox.com>
diff --git a/Documentation/pull-fetch-param.txt b/Documentation/pull-fetch-param.txt
@@ -33,7 +33,7 @@ name.
 it requests fetching everything up to the given tag.
 +
 The remote ref that matches <src>
-is fetched, and if <dst> is not empty string, the local
+is fetched, and if <dst> is not an empty string, the local
 ref that matches it is fast-forwarded using <src>.
 If the optional plus `+` is used, the local ref
 is updated even if it does not result in a fast-forward

Original file line number	Diff line number	Diff line change
`@@ -33,7 +33,7 @@ name.`
`33`	`33`	`it requests fetching everything up to the given tag.`
`34`	`34`	`+`
`35`	`35`	`The remote ref that matches <src>`
`36`		`-is fetched, and if <dst> is not empty string, the local`
	`36`	`+is fetched, and if <dst> is not an empty string, the local`
`37`	`37`	`ref that matches it is fast-forwarded using <src>.`
`38`	`38`	If the optional plus `+` is used, the local ref
`39`	`39`	`is updated even if it does not result in a fast-forward`