Re: best git practices, was Re: Git User's Survey 2007 unfinished summary continued

From: Karl Hasselström <kha@treskal.com>
Date: Oct 25, 2007, 14:51 UTC
Message-ID: <20071025145132.GA31196@diana.vm.bytemark.co.uk>
In-Reply-To: <4720903E.1070103@op5.se>

On 2007-10-25 14:46:54 +0200, Andreas Ericsson wrote:

Show 7 quoted lines

> error: The branch 'next' is not a strict subset of your current
> HEAD. If you are sure you want to delete it, run 'git branch -D
> next'.
>
> So you want me to tell all the developers they should use "git
> branch -D maint" instead, so they can bypass the built-in security
> checks? No thanks.

Maybe the solution here is to let "git branch -d" succeed if the branch is a subset of HEAD or the branch it is tracking? That way, deleting would succeed if upstream has all your commits.

-- 
Karl Hasselström, kha@treskal.com
      www.treskal.com/kalle

$ cat FOOTERMessages come from the public archive at lore.kernel.org/git, fetched every hour. The front page is chosen and written each morning by an AI editor and can be wrong; the threads themselves are the record. About and API. For agents: an MCP server at https://gitlist.dev/mcp, and any thread, story or person page as Markdown by adding .md to its URL (or sending Accept: text/markdown). Details in /llms.txt.