Re: git push won't push to a local branch

> Hello,
> 
> There's an asymmetry between push and pull that seems unnecessary:
> pull can pull from local branches, but push can't push to them.  Is
> there a reason for this asymmetry?
> 
> In more detail, if I have a working copy with two branches, local and
> master, I can use git pull to pull changes from master to local:
> 
> % git checkout local
> % git pull . master
> ... pulls changes from master to local branch
> 
> If I make a change in local and try to do the reverse with git push,
> it gives a confusing non-error message and doesn't do anything:
> 
> % git checkout local
> % git rm scratch/pcomm.h
> % git commit
> % git push . master
> Everything up-to-date