Merge branch 'sg/ci-brew-gcc-workaround'
authorJunio C Hamano <gitster@pobox.com>
Thu, 11 Jul 2019 22:16:49 +0000 (15:16 -0700)
committerJunio C Hamano <gitster@pobox.com>
Thu, 11 Jul 2019 22:16:49 +0000 (15:16 -0700)
Dev support update.

* sg/ci-brew-gcc-workaround:
  ci/lib.sh: update a comment about installed P4 and Git-LFS versions
  ci: disable Homebrew's auto cleanup
  ci: don't update Homebrew


Trivial merge