github - Is it safe to delete branch file under .git/refs/remotes/origin/ which is already deleted on remote? -
I have a branch test
in local, and then press it in the butt.
git push -u original exam
Then merge into the branch master and delete Github's branch
by administrator is.
Then I delete this local branch git branch -d test
, but it is still in branch -va
in remotes / origin / Test
, and can not be removed by git push -u origin --delete test
.
How can I not show it in branch -va
? Can this be done by removing guit / rifs / remote / original / test, and is it safe in my case?
The general thing is that:
git remote prune origin < / Code>
that should clean the entire business.
Comments
Post a Comment