Is "git reset --hard HEAD" the same as "git reset --hard HEAD"?

Question

To undo the changes in the working tree and index, this answer ( https://stackoverflow.com/a/21275/ ... ) allows to run the following:

git reset --hard

Will this work the same as launch git reset --hard HEAD?

Answer 1

Yes, HEADimplied, if not indicated, so this is the same.

Source [marker number # 2]