don't see the point in having aliases for reseting explicitly to HEAD