coding: validate worktree HEAD object IDs #377

Open
nsaspy wants to merge 0 commits from rage/207-worktree-head-object-id into main
Owner

Closes #207. Advances #1.

RED d08b9af5: malformed worktree porcelain HEAD values must not become structured worktree evidence; both canonical SHA-1 and SHA-256 full object IDs remain accepted.

This is intentionally RED first. Next: reuse the canonical full-object-ID validator in worktree normalization, then focused tests, registry compatibility, full generated nix flake check, package builds, and exact-head protected merge.

Closes #207. Advances #1. RED `d08b9af5`: malformed worktree porcelain `HEAD` values must not become structured worktree evidence; both canonical SHA-1 and SHA-256 full object IDs remain accepted. This is intentionally RED first. Next: reuse the canonical full-object-ID validator in worktree normalization, then focused tests, registry compatibility, full generated `nix flake check`, package builds, and exact-head protected merge.
Some checks failed
CI / test (pull_request) Failing after 17s
This branch is already included in the target branch. There is nothing to merge.
View command line instructions

Checkout

From your project repository, check out a new branch and test the changes.
git fetch -u origin rage/207-worktree-head-object-id:rage/207-worktree-head-object-id
git switch rage/207-worktree-head-object-id

Merge

Merge the changes and update on Forgejo.

Warning: The "Autodetect manual merge" setting is not enabled for this repository, you will have to mark this pull request as manually merged afterwards.

git switch main
git merge --no-ff rage/207-worktree-head-object-id
git switch rage/207-worktree-head-object-id
git rebase main
git switch main
git merge --ff-only rage/207-worktree-head-object-id
git switch rage/207-worktree-head-object-id
git rebase main
git switch main
git merge --no-ff rage/207-worktree-head-object-id
git switch main
git merge --squash rage/207-worktree-head-object-id
git switch main
git merge --ff-only rage/207-worktree-head-object-id
git switch main
git merge rage/207-worktree-head-object-id
git push origin main
Sign in to join this conversation.
No description provided.