commit | c131f016f57477f02a7e9c91480fa4f3e66bee10 | [log] [tgz] |
---|---|---|
author | aiuto <aiuto@google.com> | Wed Jun 14 11:42:25 2023 -0400 |
committer | GitHub <noreply@github.com> | Wed Jun 14 11:42:25 2023 -0400 |
tree | 2d9078cefe16f32af5b7adc47db224627cffea11 | |
parent | ab73ff2bc1853f9aa87db066c53e19af9da13b3e [diff] | |
parent | a0d58cddec2566237bb77908d7a81bda3454813e [diff] |
Merge pull request #102 from aiuto/rel Update docs to add gather_metadata_info
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.