From 78899f32a644066890937cb263fb1dd626f1c4da Mon Sep 17 00:00:00 2001
From: Sebastiaan de Schaetzen <sebastiaan.de.schaetzen@gmail.com>
Date: Fri, 24 Apr 2026 14:59:53 +0200
Subject: [PATCH] Update copilot instructions

---
 .github/copilot-instructions.md | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/.github/copilot-instructions.md b/.github/copilot-instructions.md
index e596e1d..2cd5e79 100644
--- a/.github/copilot-instructions.md
+++ b/.github/copilot-instructions.md
@@ -31,3 +31,10 @@ Always check the `specs` directory.
 If there is anything unclear, ask the user for clarification.
 It is certainly possible that there are contradictions in the
 spec that have to be solved first.
+
+## Comitting
+Often, the user modifies an interface (typically in a header file), and then asks
+the agent to update the implementation.
+
+When creating a commit, make sure that both the user's and the agent's modifications
+are included in the commit.