Re: bad git pull
- From
Junio C Hamano <junkio@cox.net>
- Date
- Dec 16, 2005, 19:21 UTC
- Message-ID
- <7vfyoshmp6.fsf@assigned-by-dhcp.cox.net>
- In-Reply-To
- <118833cc0512161007k38fdd15w2dcdf0c93f26d29e@mail.gmail.com>
Morten Welinder <mwelinder@gmail.com> writes:
Show 7 quoted lines
>> 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.
Yes, that is called "git reset".