pub const GIT_STATUS_OPT_NO_REFRESH: git_status_opt_t = 1 << 12; // 0x0000_1000u32