From: Morten Welinder Date: Fri, 16 Dec 2005 18:07:16 GMT Subject: Re: bad git pull Message-ID: <118833cc0512161007k38fdd15w2dcdf0c93f26d29e@mail.gmail.com> In-Reply-To: <7vu0d9lxx9.fsf@assigned-by-dhcp.cox.net> > While I am sympathetic, this "Oops, I said pull when I meant > fetch" sounds remotely similar to "oops, I said 'rm -r' when I > meant to say 'ls -r'". Is it that the tool is too fragile? Didn't bk come with some kind of (one-level) undo pull? It should not be too hard to create something similar considering that one could just leave new objects in the db orphaned. M.