Thomas Ackermann <th.ac...@arcor.de> writes:

> Add some missing punctuation.
> Simplify description of "git branch -d/-D".
> ...
>  `git branch -d <branch>`::
> -     delete the branch `<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 `<branch>`; if the branch is not fully
> +     merged in its upstream branch, this command will fail with a warning.

But is this correct?  I somehow thought that we check with the
current or the upstream.

>  `git branch -D <branch>`::
> -     even if the branch points to a commit not reachable
> -     from the current branch, you may know that that commit
> -     is still reachable from some other branch or tag.  In that
> -     case it is safe to use this command to force Git to delete
> -     the branch.
> +     delete the branch `<branch>` irrespective of its merged status.

This is an OK change.
--
To unsubscribe from this list: send the line "unsubscribe git" in
the body of a message to majord...@vger.kernel.org
More majordomo info at  http://vger.kernel.org/majordomo-info.html

Reply via email to