tree a48df237e5254f2d1a6a0be7446d7f04fbdf7ccb
parent ff91b25494e353e61d6ad37aafb70f45c328b1ce
author Mike Kruskal <mkruskal@google.com> 1676568631 -0800
committer Copybara-Service <copybara-worker@google.com> 1676568721 -0800

Pull any new changes before pushing staleness updates.

This fixes some relatively harmless flakiness in our post-submit.  If two commits are made within ~5 minutes of each other, the `git push` command will fail because the git workspace isn't up to date.

PiperOrigin-RevId: 510165977