Re: git push to a non-bare repository

Shawn O. Pearce wrote:

receive-pack isn't updating the HEAD reflog as its updating the
actual branch, not HEAD.  If you pushed instead to HEAD you should
see the HEAD reflog entry too.
  

What about splitting HEAD when you push to the underlying branch, and
making HEAD a non-symref?

Sam.