tree 2cd63e65b0dec7cd781f1c8ea81085395452222b
parent d9fdc80d12c15831a784a8bec01dbe6afbf09893
author Michael Hackner <mhackner@gmail.com> 1556023489 -0700
committer Copybara-Service <copybara-worker@google.com> 1556023562 -0700

Remove reference to Homebrew tap pinning

Tap pinning is deprecated (Homebrew/brew#5925) in favor of using the fully qualified name.

Closes #8027.

PiperOrigin-RevId: 244838884