https://locaakj.blogspot.com/2023/10/github-delete-local-branch.html