Re: disallowing push to currently checked-out branch

Junio C Hamano <gitster <at> pobox.com> writes:

Daniel Barkalow <barkalow <at> iabervon.org> writes:

quoted

In fact, if you expect to be pushing to a non-bare repository, you
probably want to have HEAD contain the actual commit currently checked
out (instead of a reference to externally mutable storage), which you
can do with "git checkout refs/heads/master".

"git checkout master^0" is shorter 

For people who do not follow the git list regularly, a "HEAD contain the
actual commit" is often called "detached".

Could you have that done automatically?
Namely rather to denying push to a branch b where HEAD->b, when you get such
push you detach head?