Commit c4481302 authored by Mike Kruskal's avatar Mike Kruskal Committed by Copybara-Service
Browse files

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
parent ff91b254
Show whitespace changes
Inline Side-by-side
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please to comment