diff options
| author | Florian Klink <flokli@flokli.de> | 2023-03-05T13·14+0100 |
|---|---|---|
| committer | flokli <flokli@flokli.de> | 2023-03-05T18·33+0000 |
| commit | 6019c75deb7868f43b9ad8449fe2d00532b07a54 (patch) | |
| tree | d5348a8afaf638ba0fa09d43a858d8c25a92ff29 /third_party/gerrit_plugins/default.nix | |
| parent | db8cebe0b43746955317d3f5dde8b8c53dc34f81 (diff) | |
docs(tvix/store): add document describing why we don't use git trees r/5890
This came up recently again, it makes sense to document the reasoning behind the decision. Change-Id: Ic51d5bc7998c70e8b070b6f42877d8e88613935b Reviewed-on: https://cl.tvl.fyi/c/depot/+/8223 Reviewed-by: raitobezarius <tvl@lahfa.xyz> Tested-by: BuildkiteCI Autosubmit: flokli <flokli@flokli.de>
Diffstat (limited to 'third_party/gerrit_plugins/default.nix')
0 files changed, 0 insertions, 0 deletions