commit | f83a73e15add76fa1747de4fbbc055f39a4a0614 | [log] [tgz] |
---|---|---|
author | Tony Aiuto <aiuto@google.com> | Thu Oct 19 14:35:44 2023 -0400 |
committer | Tony Aiuto <aiuto@google.com> | Thu Oct 19 14:35:44 2023 -0400 |
tree | e62a98ef98ddabafb5752937123aeb64334458de | |
parent | 7806287cd576c8ddf8b09e5db5cb88c3f1510ea9 [diff] | |
parent | 39d9f429b563478e1c16fb0f938d178ccf4c3fd3 [diff] |
Merge remote-tracking branch 'upstream/main'
This repository contains a set of rules and tools for
WARNING: The code here is still in active initial development and will churn a lot.
If you want to follow along:
Background reading: These is for learning about the problem space, and our approach to solutions. Concrete specifications will always appear in checked in code rather than documents.