Closed aiuto closed 2 years ago
How do we get this merged?
Ah, I see there are outstanding CI failures.
I removed the debugging lines, but TBH, I'm not sure where I left this. I was unexpectedly OOO all of this week so far, and what happened last Friday is a distant memory. Let's see how CI goes.
Gack!!!! We auto-pull? Someone else has to approve that.
Ah.... even stranger, but we can discuss that offline.
This needs another approve
before it can merge.
I believe this fixes a build breakage in bazel at head and 5.3.0 #140
cc: @aranguyen