У моєму поточному репо маєте такий вихід:
$ git branch -a
* master
remotes/origin/master
remotes/public/master
Я хочу видалити remotes/public/master
зі списку філій:
$ git branch -d remotes/public/master
error: branch 'remotes/public/master' not found.
Також вихід git remote
дивного вигляду, оскільки він не перераховує public
:
$ git remote show
origin
Як я можу видалити "remote / public / master" зі списку філій?
Оновіть, спробувала git push
команду:
$ git push public :master
fatal: 'public' does not appear to be a git repository
fatal: The remote end hung up unexpectedly
git remote prune [remote-name]
не працюватиме з мерзотником СВН, хоча ні один не чинить git gc
... git branch -rd origin/name
робить роботу , хоча. @Casey, ймовірно, слід вибрати другу відповідь - це трохи менш небезпечно.
master
... особливо при видаленні на пульті.
git remote prune [remote-name]
чиgit fetch -p [remote-name]
ні? Робити цеgit gc
набагато сильніше, ніж зазвичай.