pub const GIT_STATUS_OPT_NO_REFRESH: git_status_opt_t = 1 << 12; // 4_096u32