pub const GIT_INDEX_ADD_DEFAULT: git_index_add_option_t = 0;