On Mon, Aug 20, 2018 at 11:41 AM Nguyễn Thái Ngọc Duy <pclo...@gmail.com> wrote: > One way to deal with this is some form of `git undo` that allows me to > retrieve the old index. That's not a lot of work by itself. The problem > is designing that `git undo` interface because there are more undo > options that this.
s/that/than/