new benchmark, git config syntax, and comparison of github-repo branches