> So when might it matter that the push location is stored in branch.conf?
> Generally if the branch is a shared branch, i.e. multiple developers are
> committing to, and pushing from, the same branch.
I must say I do not understand. Could you give a scenario where giving
priority to branch.conf over locations.conf would introeduce a problem?
Stefan