From: Jeff King Date: Mon, 16 Feb 2009 13:58:12 GMT Subject: Re: disallowing push to currently checked-out branch Message-ID: <20090216135812.GA20377@coredump.intra.peff.net> In-Reply-To: On Mon, Feb 16, 2009 at 10:17:01AM +0000, Sergio Callegari wrote: > > 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? See http://article.gmane.org/gmane.comp.version-control.git/108923 for discussion. -Peff