(Nevermind - `git reset` to the rescue!)