Merge pull request 'Accept ADR 0242: a recorded build moves only by a person's push' (#292) from decisions/accept-0242 into main

2026-10-10 18:02:10 +00:00
parent 8eca7b921e a3e962f880
commit c6ed41c5ab
1 changed files with 1 additions and 1 deletions
@@ -1,6 +1,6 @@
 ---
 topic: what runs on it
-status: proposed
+status: accepted
 date: 2026-10-07
 deciders: jochen
 reconstructed: false