Re: bad git pull
- From
- Morten Welinder <mwelinder@gmail.com>
- Date
- Dec 16, 2005, 18:07 UTC
- 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.