Information Technology Reference
In-Depth Information
• It doesn't delete your local tracking branch
foo.
• It doesn't convert the local tracking branch
foo
into an ordinary local
branch; your local
foo
branch still tracks a nonexistent
origin/foo
branch.
You can delete your local branch with:
$ git branch -d foo
or you can change it into an ordinary local branch with:
$ git config --unset branch.foo.remote
$ git config --unset branch.foo.merge
Every time you run
$ git fetch
all the remote branches are copied into your re-
pository as remote tracking branches. But if you remove a remote branch, then this
change doesn't propagate among other developers, by default. Every developer can re-
move stale remote tracking branches with:
$ git remote prune origin
The above command removes all remote tracking branches for nonexistent remote
branches. The same can be done during fetching with:
$ git fetch -p
The above command performs two operations:
$ git fetch
$ git remote prune
10-7. Using remote branches for contri-
butions
Problem
