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