On Tue, Nov 27, 2007 at 12:30:16 +0100, Jakub Narebski wrote: > 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@xxxxxx>
Attachment:
signature.asc
Description: Digital signature
