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.