It would be useful to mention that

    $ git reset ~HEAD

doesn't specify a reset mode, so the default mode --mixed is used. I prefer to use

    $ git reset --soft ~HEAD

which leaves both the working tree and index unchanged.