Skip to content

Latest commit

 

History

History
18 lines (14 loc) · 521 Bytes

File metadata and controls

18 lines (14 loc) · 521 Bytes

PLEASE DELETE THIS TEMPLATE WHEN YOU POST YOUR PR FOR REVIEW

Please describe:

  • The problem (for bugs: how/where you encountered it).
  • The solution.
  • Testing done, if any.

We encourage AI-assisted review. Save your diff:

git diff upstream/main -- . > /tmp/pr.diff

Then review it with a prompt like:

Review /tmp/pr.diff. What is it trying to do? Is it correct? Are there bugs? Are there omissions? Are there better ways of doing things? Should this CL be LGTMd?

END OF TEMPLATE TO DELETE