https://deletejullld.blogspot.com/2023/08/delete-branch-on-merge-github.html