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