https://deletejulllb.blogspot.com/2022/04/delete-remote-branch-git-extensions.html