Open “Credential Manager” on Windows
, the branch that HEAD points to)
A deleted Git branch can be restored at any time, regardless of when it was deleted
To avoid the issue in the first place, Jefromi advices in the comments: Another tip: only use git branch -d, not git branch -D
The tracking will be set up by Git during the pushing
git update-ref -d HEAD
The branch may still exist in remote repos