I am using git and git-repo for my project. I see when I try to remove the local branch in which I am now using the git command
git branch -D branch_name
It shows me the error that I am expecting, since we cannot delete the current branch.
But if I use the repo command
repo abandon branch_name
I can delete the current branch. So my question is, which repo command does it use internally to delete a branch?
source share