Junio C Hamano <gitster <at> pobox.com> writes: > > Daniel Barkalow <barkalow <at> iabervon.org> writes: > > > 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? -- 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
