У моєму поточному репо маєте такий вихід:
$ 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набагато сильніше, ніж зазвичай.