pub const GIT_RESET_HARD: git_reset_t = 3;