Adding push configuration to .git/config

Hello guys!

We are working pretty much with branches here and I think it would be pretty cool, to make git-push recognize some configuratio in ~/.git/config that describes where to push what:

   git-push origin master:<name of worker> is what we currenty do
   manually

Nice would be

[branch "master"]
   remote-push          = origin
   remote-push-merge    = another_branch

And thus perhaps also changing the existing specs:

   remote = ... to remote-fetch = ...
   merge = ... to remote-fetch-merge = 

And perhaps it would also make sense to replace "refs/heads/master" with only "master"?

What do you think about those three ideas?

Nico