Repository deletion isn’t an onerous task, but GitHub does make developers jump through a minor hoop or two to accomplish it. After all, it shouldn’t be so easy to delete a GitHub repository that it ...

git push origin --delete name-of-branch-to-remove The nice thing about this command is that it will not only remove the remote Git branch in the GitHub or GitLab repository, but it will also remove ...