From 8f7c8eeebc988d2d98b65d83121134b1ed552679 Mon Sep 17 00:00:00 2001 From: vasilito Date: Sun, 12 Jul 2026 02:17:04 +0300 Subject: [PATCH] phase 2.4c: gitignore .redbear-fork-verify cache dir Cache files for verify-fork-versions.sh preflight were getting accidentally committed in the previous phase 2.4 commit. Add the .redbear-fork-verify/ dir to .gitignore so it stays local-only. --- .gitignore | 5 +++++ .redbear-fork-verify/installer-0.2.42.files | 21 ------------------- .../installer-0.2.42.fingerprint | 1 - .redbear-fork-verify/libredox-0.1.18.files | 4 ---- .../libredox-0.1.18.fingerprint | 1 - 5 files changed, 5 insertions(+), 27 deletions(-) delete mode 100644 .redbear-fork-verify/installer-0.2.42.files delete mode 100644 .redbear-fork-verify/installer-0.2.42.fingerprint delete mode 100644 .redbear-fork-verify/libredox-0.1.18.files delete mode 100644 .redbear-fork-verify/libredox-0.1.18.fingerprint 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