From c653416ac6c59755ac2d2a5e53657f4606723790 Mon Sep 17 00:00:00 2001 From: Olivier Cots Date: Wed, 21 Oct 2026 10:01:27 +0200 Subject: [PATCH] chore: pin ct-conventions v0.8.0 Adds SITE18 (docs/make.jl appends the repo root to LOAD_PATH); already satisfied here. Co-Authored-By: Claude Sonnet 5.5 --- AGENTS.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/AGENTS.md b/AGENTS.md index 831b5008a..289717769 100644 --- a/AGENTS.md +++ b/AGENTS.md @@ -36,10 +36,10 @@ is not the pinned tag, (re)create it: ```bash rm -rf .ct-conventions -git -c advice.detachedHead=false clone --quiet --depth 1 --branch v0.7.1 https://github.com/control-toolbox/ct-conventions.git .ct-conventions +git -c advice.detachedHead=false clone --quiet --depth 1 --branch v0.8.0 https://github.com/control-toolbox/ct-conventions.git .ct-conventions ``` -**Pinned version: ct-conventions v0.7.1.** Cite rules by identifier (`MOD3`, `TST1`), and +**Pinned version: ct-conventions v0.8.0.** Cite rules by identifier (`MOD3`, `TST1`), and state the version you applied in plans and reports. Read in this order: