From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <gaiusmod2@gmail.com>
Received: from mail-wr1-x42f.google.com (mail-wr1-x42f.google.com [IPv6:2a00:1450:4864:20::42f])
	by sourceware.org (Postfix) with ESMTPS id 439313857016
	for <gcc@gcc.gnu.org>; Tue, 25 Oct 2022 13:15:07 +0000 (GMT)
DMARC-Filter: OpenDMARC Filter v1.4.1 sourceware.org 439313857016
Authentication-Results: sourceware.org; dmarc=pass (p=none dis=none) header.from=gmail.com
Authentication-Results: sourceware.org; spf=pass smtp.mailfrom=gmail.com
Received: by mail-wr1-x42f.google.com with SMTP id z14so7358634wrn.7
        for <gcc@gcc.gnu.org>; Tue, 25 Oct 2022 06:15:07 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=gmail.com; s=20210112;
        h=mime-version:user-agent:message-id:in-reply-to:date:references
         :subject:cc:to:from:from:to:cc:subject:date:message-id:reply-to;
        bh=6kE24VFGOvuO+jhWh41CbppNOC3XeAON8oML9bZj1+8=;
        b=f4A8scTAM0hQkx21N/Ug2jN7Wg1BtGRQk51r6/PWf5pQ2mwl3e+cPu+SnTUQek4FOQ
         rNA5+OdjbM18sjwxyru06jStSZgsukhbq3qJwXhpQz7dl6U/DgjCCEaadxuj7BXAeY7n
         6xEE2iWLKVmW9G3xiWMLUkBbGpSXXavqXWZyNvwsdLsu3dABmX/myWqyn25j1iDxqatd
         6C0mqS8zMmmOk7gqIZ0yC3RouM9jQ8iDOhGd6g31q0R58aoGRwjCOClyvCcEq3t6KXbV
         gUn98sDrQ4dIol3fslheBHdVa0QbnZ8JzYb9OLW9+FvJrp+wOK6d2u1M0wzg1KVpGvBT
         +l7w==
X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=1e100.net; s=20210112;
        h=mime-version:user-agent:message-id:in-reply-to:date:references
         :subject:cc:to:from:x-gm-message-state:from:to:cc:subject:date
         :message-id:reply-to;
        bh=6kE24VFGOvuO+jhWh41CbppNOC3XeAON8oML9bZj1+8=;
        b=EjrFHP+ibfDterlAkX6gP8NWuqG/P0oE9utgCIVp+M2QZk0vrvhI8QjYt77CSMtBfS
         JMdf7+4S5uJJelD7kiB7t2rUU7wfvYxfTS0G51Rt4UdVyxChj4OJqfiY5qFiVzAjhJ78
         aFdqJAG9yXRSBaGbg/Qmc6uy2OqHE/sU6iVuPRySILW9qt6/dQzXy0EERR+p0kzDJ71T
         3o/UkCj8zK5ARAppPcrt40zYcPmzXgMvG/zt01hsl9mABh14a+I7JTUNc+hIuywyrHgV
         JYRJrN+twyO4a8MdTpv3Qh1/BAEb3njmtQJkGSYFwtRqgipR9bdSK7yKgNJ71RxLV7YA
         rz3w==
X-Gm-Message-State: ACrzQf3deM09VuNw+5ui2K6beb/1v61ysmBKnSHLt4X65Cv0s2/MD2tO
	DcWFEJd6EnQBuQe9XYZYRM03vJX1Wjw=
X-Google-Smtp-Source: AMsMyM6b/RZLaQd/4Wz2R5Ne/JweJ3sOqlHCOSzLBvPktmHMNphy4uY4RZKVOpWo5y/ldVYaidxQgw==
X-Received: by 2002:a05:6000:69b:b0:22e:36aa:5f1 with SMTP id bo27-20020a056000069b00b0022e36aa05f1mr24761417wrb.430.1666703705829;
        Tue, 25 Oct 2022 06:15:05 -0700 (PDT)
Received: from lancelot ([195.147.220.46])
        by smtp.gmail.com with ESMTPSA id r18-20020a05600c35d200b003c6c182bef9sm14487366wmq.36.2022.10.25.06.15.04
        (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256);
        Tue, 25 Oct 2022 06:15:05 -0700 (PDT)
Received: from gaius by lancelot with local (Exim 4.94.2)
	(envelope-from <gaiusmod2@gmail.com>)
	id 1onJlm-0047BA-7p; Tue, 25 Oct 2022 14:15:02 +0100
From: Gaius Mulley <gaiusmod2@gmail.com>
To: Jonathan Wakely <jwakely.gcc@gmail.com>
Cc: gcc@gcc.gnu.org
Subject: Re: 1-800-GIT-HELP (how to delete a user branch?)
References: <8735bcjdpc.fsf@debian>
	<CAH6eHdQB_MVgC6=s=6URdm-fS0jDJ0Mprgd3=JgOnxz+4TMVPg@mail.gmail.com>
Date: Tue, 25 Oct 2022 14:15:02 +0100
In-Reply-To: <CAH6eHdQB_MVgC6=s=6URdm-fS0jDJ0Mprgd3=JgOnxz+4TMVPg@mail.gmail.com>
	(Jonathan Wakely's message of "Tue, 25 Oct 2022 14:09:17 +0100")
Message-ID: <87eduw11ux.fsf@debian>
User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/27.1 (gnu/linux)
MIME-Version: 1.0
Content-Type: text/plain
X-Spam-Status: No, score=-1.3 required=5.0 tests=BAYES_00,DKIM_SIGNED,DKIM_VALID,DKIM_VALID_AU,DKIM_VALID_EF,FREEMAIL_ENVFROM_END_DIGIT,FREEMAIL_FROM,RCVD_IN_DNSWL_NONE,SPF_HELO_NONE,SPF_PASS,TXREP autolearn=ham autolearn_force=no version=3.4.6
X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on server2.sourceware.org
List-Id: <gcc.gcc.gnu.org>

Jonathan Wakely <jwakely.gcc@gmail.com> writes:

> On Tue, 25 Oct 2022 at 13:23, Gaius Mulley via Gcc <gcc@gcc.gnu.org> wrote:
>>
>>
>> Just wondering what is the safest way to delete a user branch?
>>
>> [I used ./contrib/git-add-user-branch.sh and wanted to start over
>>  (user branch for m2 and gcc12)],
>
> When you say start over, do you mean reuse the same branch name for a
> different branch with unrelated history, but using the same name?

yes

> If yes, you can just force push the new history to the branch. That's
> the simplest answer.

great thanks a lot!  I will try this approach

> If you really want to delete the branch, then you just say:
>
> git push --dry-run --delete REMOTE BRANCH
> and if that looks right, remove the --dry-run option.
>
> The REMOTE will be something like users/gaius and BRANCH will be
> something like refs/users/gaius/heads/m2gcc12 depending on how you set
> up your local user branches.

many thanks useful info.