Check out a specific revision of libgit2 that we verified to work