2 ms·

Alternatively, instead of `git reset HEAD^` you could do `git commit --amend` to merge further changes into the latest commit