diff options
author | Jonathan Nieder <jrnieder@gmail.com> | 2010-04-15 02:25:38 -0500 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2010-04-15 00:53:40 -0700 |
commit | fff0d0abdde6729606824688c2acac72db643e65 (patch) | |
tree | c80ee5861344d243cae98b8ac6166ee3994cf60c /Documentation/git-branch.txt | |
parent | f78683f3a85ca16ae16e1180703d3280b272f45d (diff) | |
download | git-fff0d0abdde6729606824688c2acac72db643e65.tar.gz git-fff0d0abdde6729606824688c2acac72db643e65.tar.xz |
Document new "already-merged" rule for branch -d
v1.7.0-rc0~18^2 (branch -d: base the "already-merged" safety on the
branch it merges with, 2009-12-29) taught ‘git branch’ a new heuristic
for when it is safe to delete a branch without forcing the issue. It
is safe to delete a branch "topic" without second thought if:
- the branch "topic" is set up to pull from a (remote-tracking,
usually) branch and is fully merged in that "upstream" branch, or
- there is no branch.topic.merge configuration and branch "topic" is
fully merged in the current HEAD.
Update the man page to acknowledge the new rules.
Signed-off-by: Jonathan Nieder <jrnieder@gmail.com>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'Documentation/git-branch.txt')
-rw-r--r-- | Documentation/git-branch.txt | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/Documentation/git-branch.txt b/Documentation/git-branch.txt index b3605c0ec..60fa684b1 100644 --- a/Documentation/git-branch.txt +++ b/Documentation/git-branch.txt @@ -63,7 +63,9 @@ way to clean up all obsolete remote-tracking branches. OPTIONS ------- -d:: - Delete a branch. The branch must be fully merged in HEAD. + Delete a branch. The branch must be fully merged in its + upstream branch, or in `HEAD` if no upstream was set with + `--track` or `--set-upstream`. -D:: Delete a branch irrespective of its merged status. |