https://techflares.pages.dev/posts/how-to-delete-github-branch-/