2023-12-09code[toolshed]Deleting a local git branchclean up the branch list with this one-liner command-line command