Re: git bug/feature request

From: Jan Hudec <bulb@ucw.cz>
Date: Nov 30, 2007, 18:21 UTC
Message-ID: <20071130182121.GC30048@efreet.light.src>
In-Reply-To: <figv47$926$1@ger.gmane.org>

On Tue, Nov 27, 2007 at 12:30:16 +0100, Jakub Narebski wrote:

Show 15 quoted lines

> gapon wrote:
> 
> > hi all,
> > first of all i don't know if there's a bugzilla or something similar
> > for git - i have found just this email (on http://git.or.cz/ webpage).
> 
> There isn't any bug tracker for git. Use git mailing list for bug
> reports and feature requests.
> 
> > i have discovered "weird" behaviour of git in this scenario*:
> > - user A is working in repo A
> > - user B clones repo A
> > - user B makes some changes, commits, pushes
> 
> Do not push into checked out branch!

Push is the only non-local operation, that could break the checked out state, right? Than it should be possible to add a check that a push is trying to change the checked-out ref and detach the HEAD if so.

-- 
						 Jan 'Bulb' Hudec <bulb@ucw.cz>