pub const GIT_CHECKOUT_NO_REFRESH: git_checkout_strategy_t = 1 << 9; // 0x0000_0200u32