Re: [PATCH 6/9] Documentation: branch: update --merged description
- From
Junio C Hamano <gitster@pobox.com>
- Date
- Oct 10, 2009, 00:56 UTC
- Message-ID
- <7vskdsf4mn.fsf@alter.siamese.dyndns.org>
- In-Reply-To
- <20091009101858.GF16558@progeny.tock>
Jonathan Nieder <jrnieder@gmail.com> writes:
Show 6 quoted lines
> Update the documentation for --merged and --no-merged to explain > the meaning of the optional parameter introduced in commit 049716b > (branch --merged/--no-merged: allow specifying arbitrary commit, > 2008-07-08). > > Signed-off-by: Jonathan Nieder <jrnieder@gmail.com>
Thanks.
I most often use --no-merged this way:
$ git branch --no-merged pu
to see topics that are queued but not merged anywhere. This is not about "do not list", but "do show the ones that are not merged", so I reworded the description of the latter in your patch.
Show 29 quoted lines
> diff --git a/Documentation/git-branch.txt b/Documentation/git-branch.txt > index aad71dc..e8b32a2 100644 > --- a/Documentation/git-branch.txt > +++ b/Documentation/git-branch.txt > @@ -134,11 +134,13 @@ start-point is either a local or remote branch. > --contains <commit>:: > Only list branches which contain the specified commit. > > ---merged:: > - Only list branches which are fully contained by HEAD. > +--merged [<commit>]:: > + Only list branches whose tips are reachable from the > + specified commit (HEAD if not specified). > > ---no-merged:: > - Do not list branches which are fully contained by HEAD. > +--no-merged [<commit>]:: > + Only list branches whose tips are not reachable from the > + specified commit (HEAD if not specified). > > <branchname>:: > The name of the branch to create or delete. > -- > 1.6.5.rc1.199.g596ec > > -- > To unsubscribe from this list: send the line "unsubscribe git" in > the body of a message to majordomo@vger.kernel.org > More majordomo info at http://vger.kernel.org/majordomo-info.html