From: Phil Hord <hordp@cisco.com>
Date: Sun, 17 Jul 2011 19:46:28 GMT
Subject: Re: git push vs. slow connection times - local commit resolution is too late
Message-ID: <4E233C14.6080309@cisco.com>
In-Reply-To: <m2oc0uz8uh.fsf@igel.home>

Andreas Schwab helpfully chimed in
 > Phil Hord <hordp@cisco.com> writes:
 >
 > > I agree with your suggestion.  But as a quick fix, can you do this?
 > >   git push remote $(cat .git/HEAD):master
 >
 > You mean $(git rev-parse HEAD), don't you?

Yes, I do. :-) But I don't use it enough to remember it, and the man 
pages are not cross-referenced well enough for me.  So I shrugged.

Thanks for helping me out.

Phil