Re: [PATCH 5/6] doc: notes: point out copy --stdin use with argv

[Junio C Hamano <gitster@pobox.com>]

kristofferhaugsbakk@fastmail.com writes:

> From: Kristoffer Haugsbakk <code@khaugsbakk.name>
>
> Unlike `remove --stdin`, this option cannot be combined with object
> names given via the command line.
>
> Signed-off-by: Kristoffer Haugsbakk <code@khaugsbakk.name>
> ---
>  Documentation/git-notes.adoc | 3 +++
>  1 file changed, 3 insertions(+)

OK.

> diff --git a/Documentation/git-notes.adoc b/Documentation/git-notes.adoc
> index 1b714eb9e81..d2d7dac8d41 100644
> --- a/Documentation/git-notes.adoc
> +++ b/Documentation/git-notes.adoc
> @@ -87,6 +87,9 @@ In `--stdin` mode, take lines in the format
>  on standard input, and copy the notes from each _<from-object>_ to its
>  corresponding _<to-object>_.  (The optional _<rest>_ is ignored so that
>  the command can read the input given to the `post-rewrite` hook.)
> ++
> +`--stdin` cannot be combined with object names given on the command
> +line.
>  
>  `append`::
>  	Append new message(s) given by `-m` or `-F` options to an