Document git-repo-config --bool/--int options.