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