This repository was archived by the owner on Oct 19, 2026. It is now read-only.

Repository navigation

chore: allow newer Dex patch releases - #20

Merged

longquanzheng merged 1 commit into

mainfrom

codex/allow-newer-patch-releases

Sep 28, 2026

Merged

chore: allow newer Dex patch releases#20
longquanzheng merged 1 commit into
mainfrom
codex/allow-newer-patch-releases

longquanzheng commented Sep 28, 2026

Contributor

Summary

clarify that exact Dex pins are reproducibility baselines, not compatibility ceilings
allow newer stable patch releases within the selected major/minor line without separate authorization
document and contract-test the policy, and advance templateVersion to 1.7.3

Verification

make check


          chore: allow newer Dex patch releases

684a731

longquanzheng merged commit 89c97be into main

2 checks passed

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet