The online interface for tools like GitHub or GitLab make it possible to remove a branch by simply clicking a trash can icon next to the branch’s name. In this case, the branch will be deleted from ...