pub const GIT_OPT_GET_USER_AGENT: git_libgit2_opt_t = 0 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1; // 0x0000_0011u32