diff options
| author | Ruben Beltran del Rio <git@r.bdr.sh> | 2025-05-18 13:18:38 +0200 |
|---|---|---|
| committer | Ruben Beltran del Rio <git@r.bdr.sh> | 2025-05-18 13:18:38 +0200 |
| commit | a456d26da5acfd6b45b046eb10e02d674611bc44 (patch) | |
| tree | ea408119fb3c34c4d2b6f3da134435b510b320fc | |
Add README
| -rw-r--r-- | README.md | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/README.md b/README.md new file mode 100644 index 0000000..ec3b268 --- /dev/null +++ b/README.md @@ -0,0 +1,8 @@ +<!-- CREV_README_MARKER_V0 - Please don't remove this first line, or `crev` might overwrite this file. --> + +# Proof Repository + +This git repository is used a [Crev Proof +Repository](https://github.com/dpc/crev/wiki/Proof-Repository). + +<!-- Feel free to customize this file below this line --> |