Diff - ba02edbd3^1..ba02edbd3 - pub.git - Git at Google

commit: ba02edbd30fcf962c84f5eb7afa3b481a9ada886
[log]
author: Alexander Thomas <athom@google.com>
Tue Sep 30 05:20:24 2025 -0700
committer: GitHub <noreply@github.com>
Tue Sep 30 05:20:24 2025 -0700
tree: af03f13e5f58d9db4876535cdbb1e847c105c897
parent: f7f1891e2de3d795532f45ec214f88ac912ffcd6 [diff]
parent: 58668b7e245517cd536d9a0d83cca8b09e24d748 [diff]

Merge pull request #4685 from sigurdm/merge-cp_example

Merge cp of "Handle all examples in workspace with flag `--example` (#4679)"