this is a useful trick for pushing to a non-bare repo
... it would probably be pretty useful for the simplified-git interfaces