Update `--sub` to latest Subduction#13

Merged

expede merged 8 commits into

mainfrom

Apr 17, 2026

Commits on Apr 2, 2026

Update to latest SDN
expede
committed

Commits on Apr 7, 2026

Bump to automerge-subduction v0.7 / am-repo vsubduction.9
expede
committed

Commits on Apr 8, 2026

add subduction to the version string
pvh
committed

Commits on Apr 9, 2026

Commits on Apr 14, 2026

bump to automerge-repo to 2.6.0-subduction.12
paulsonnentag
committed