Closed ajnelson-nist closed 2 years ago
I don't think it is necessary for you to apologise for the confusion @ajnelson-nist ; it was me messing it up in the first place ... again :-(
@ajnelson-nist Although git says it's fine to delete the branch, I'm not sure whether that is true. Please enlight me....
@plbt5 , yes, it's fine to delete a merged branch.
This picks up from PR 63. Sorry for the confusion, @plbt5 .