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