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
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