On Mon, Aug 20, 2018 at 11:41 AM Nguyễn Thái Ngọc Duy <pclouds@xxxxxxxxx> 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/
