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