From c969e8f0095b65c1a91545304f35217ee05a8541 Mon Sep 17 00:00:00 2001
From: Olivier Cots <olivier.cots@irit.fr>
Date: Sun, 18 Oct 2026 12:43:42 +0200
Subject: [PATCH] chore: pin ct-conventions v0.5.2

---
 AGENTS.md | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/AGENTS.md b/AGENTS.md
index bb3e7fdf1..053e5b022 100644
--- a/AGENTS.md
+++ b/AGENTS.md
@@ -35,10 +35,10 @@ is not the pinned tag, (re)create it:
 
 ```bash
 rm -rf .conventions
-git -c advice.detachedHead=false clone --quiet --depth 1 --branch v0.5.0 https://github.com/control-toolbox/ct-conventions.git .conventions
+git -c advice.detachedHead=false clone --quiet --depth 1 --branch v0.5.2 https://github.com/control-toolbox/ct-conventions.git .conventions
 ```
 
-**Pinned version: ct-conventions v0.5.0.** Cite rules by identifier (`MOD3`, `TST1`), and
+**Pinned version: ct-conventions v0.5.2.** Cite rules by identifier (`MOD3`, `TST1`), and
 state the version you applied in plans and reports.
 
 Read in this order: