pub const GIT_INDEX_ADD_FORCE: git_index_add_option_t = 1 << 0; // 0x0000_0001u32