I am using git and git-repo for my project. I see when I try to delete my local branch which I am currently on using git command
git branch -D branch_name
It shows me error which I am expecting, as we can't delete current branch.
But if I use repo command
repo abandon branch_name
I am able to delete the current branch. So my question is what command is repo using internally to delete the branch?
abandon
command at gerrit.googlesource.com/git-repo/+/master/subcmds/abandon.py – Wealth