Notes added by 'git notes copy'

[git/mjg.git] / 53 / cc8b349a9797f9446097e143f0ab1cfe6a90cd

Maybe make "git stash restore" a shortcut to "git stash pop --reset"?

I wouldn't know whether pop or apply.

Also, I'm wondering whether we should hard reset to HEAD or to the base commit
of the stash.