How do I delete a Git branch both locally and in GitHub | Hacker News Reader