diff --git a/.gitignore b/.gitignore index 1b7be7dbbc..364b8ecf03 100644 --- a/.gitignore +++ b/.gitignore @@ -49,6 +49,11 @@ wget-log local/reference/linux-*/ local/reference/seL4/ +# Per-fork upstream content fingerprint cache. Built by +# verify-fork-versions.sh on each preflight run; reproducible from +# a fork upgrade, not source of truth. +.redbear-fork-verify/ + # Compiled objects *.o *.so diff --git a/.redbear-fork-verify/installer-0.2.42.files b/.redbear-fork-verify/installer-0.2.42.files deleted file mode 100644 index 585d449de3..0000000000 --- a/.redbear-fork-verify/installer-0.2.42.files +++ /dev/null @@ -1,21 +0,0 @@ -Cargo.toml -config/default.toml -config/minimal.toml -.gitignore -.gitlab-ci.yml -LICENSE -README.md -res/test.toml -res/update.sh -src/bin/installer.rs -src/bin/installer_tui.rs -src/config/file_impl.rs -src/config/file.rs -src/config/general.rs -src/config/mod.rs -src/config/package.rs -src/config/user.rs -src/disk_wrapper.rs -src/installer.rs -src/lib.rs -test.sh diff --git a/.redbear-fork-verify/installer-0.2.42.fingerprint b/.redbear-fork-verify/installer-0.2.42.fingerprint deleted file mode 100644 index 35be8a8ba7..0000000000 --- a/.redbear-fork-verify/installer-0.2.42.fingerprint +++ /dev/null @@ -1 +0,0 @@ -ed6013c2953c7e2117bd2d1c9cfd13425cb59741 diff --git a/.redbear-fork-verify/libredox-0.1.18.files b/.redbear-fork-verify/libredox-0.1.18.files deleted file mode 100644 index 5a12fcf37c..0000000000 --- a/.redbear-fork-verify/libredox-0.1.18.files +++ /dev/null @@ -1,4 +0,0 @@ -Cargo.toml -.gitignore -LICENSE -src/lib.rs diff --git a/.redbear-fork-verify/libredox-0.1.18.fingerprint b/.redbear-fork-verify/libredox-0.1.18.fingerprint deleted file mode 100644 index 43b0ea69ec..0000000000 --- a/.redbear-fork-verify/libredox-0.1.18.fingerprint +++ /dev/null @@ -1 +0,0 @@ -bedf0129b9ad533c3c094b9648f4bac8936d7c99