diff options
| author | Lars Hjemli <hjemli@gmail.com> | 2008-04-17 22:24:50 +0200 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2008-04-20 18:16:46 -0700 |
| commit | e8b404c27e98a8d1b0e123fe80ce19efbdbf73d7 (patch) | |
| tree | 14b9ca7c2d0af2eba2cf914c61242f4092121f8c /merge-tree.c | |
| parent | 5909ca92d8b2c6a0534597f52f7733ff61a64d63 (diff) | |
| download | git-e8b404c27e98a8d1b0e123fe80ce19efbdbf73d7.tar.gz git-e8b404c27e98a8d1b0e123fe80ce19efbdbf73d7.tar.xz | |
git-branch: add support for --merged and --no-merged
These options filter the output from git branch to only include branches
whose tip is either merged or not merged into HEAD.
The use-case for these options is when working with integration of branches
from many remotes: `git branch --no-merged -a` will show a nice list of merge
candidates while `git branch --merged -a` will show the progress of your
integration work.
Also, a plain `git branch --merged` is a quick way to find local branches
which you might want to delete.
Signed-off-by: Lars Hjemli <hjemli@gmail.com>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'merge-tree.c')
0 files changed, 0 insertions, 0 deletions