Re: [PATCH 07/11] Improve section "Manipulating branches"

2013-08-27 Thread Junio C Hamano
Thomas Ackermann writes: > `git branch -d `:: > - delete the branch ``; if the branch you are deleting > - points to a commit which is not reachable from the current > - branch, this command will fail with a warning. > + delete the branch ``; if the branch is not fully > + me

[PATCH 07/11] Improve section "Manipulating branches"

2013-08-27 Thread Thomas Ackermann
Add some missing punctuation. Simplify description of "git branch -d/-D". Signed-off-by: Thomas Ackermann --- Documentation/user-manual.txt | 20 1 file changed, 8 insertions(+), 12 deletions(-) diff --git a/Documentation/user-manual.txt b/Documentation/user-manual.txt ind