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

Popular posts from this blog

Member with no value in F# -

java - Joda Time Interval Not returning what I expect -

c# - Showing a SelectedItem's Property -