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

Reply via email to