Merge pull request #734 from TheBlueMatt/2020-10-ci-no-git-conf
authorMatt Corallo <649246+TheBlueMatt@users.noreply.github.com>
Mon, 5 Oct 2020 17:27:35 +0000 (10:27 -0700)
committerGitHub <noreply@github.com>
Mon, 5 Oct 2020 17:27:35 +0000 (10:27 -0700)
Don't let CI fail to check commits b/c git isn't configured in CI


Trivial merge