Andreas Schwab helpfully chimed in
> Phil Hord <hordp@xxxxxxxxx> 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
--
To unsubscribe from this list: send the line "unsubscribe git" in
the body of a message to majordomo@xxxxxxxxxxxxxxx
More majordomo info at http://vger.kernel.org/majordomo-info.html