Re: git push to a non-bare repository

Sam Vilain [off-list ref] writes:

Junio C Hamano wrote:
...
Maybe it's worth making it an error (that can be forced) if you're
pushing to the head that's checked out in a non-bare repository ?

We talked about that in the past on the list.  No.