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)],
many thanks,
Gaius
On Tue, 25 Oct 2022 at 13:23, Gaius Mulley via Gcc 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
Jonathan Wakely writes:
> On Tue, 25 Oct 2022 at 13:23, Gaius Mulley via Gcc 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
