Removed "git_hard_reset" function from .bashrc, as I had the experience it can be very dangerous.
If it is really necessary, just call the original command "git reset --hard HEAD" (while thinking a second time in your head if it is really what you want to do...).