From 8d55d98d935f215e3620a2b2c763ae8922249a83 Mon Sep 17 00:00:00 2001
From: Oliver Breitwieser <oliver.breitwieser@kip.uni-heidelberg.de>
Date: Thu, 3 Dec 2020 17:38:32 +0100
Subject: [PATCH] Clarify where WITH_-clauses need to be specified

Change-Id: Iaff881772b8c4e1d4032bb977032756a166a3050
---
 README.md | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/README.md b/README.md
index 9ef568c5..d16d689d 100644
--- a/README.md
+++ b/README.md
@@ -4,6 +4,12 @@ Visionary "containering"…
 
 ## Supported keywords in gerrit message
 
+NOTE: These options are to be specified in the gerrit COMMENT message, NOT in
+the git COMMIT message!
+
+The idea is that, often times, these modifiers are just temporarily attached to
+a single build rather than a complete change.
+
 ### `BUILD_THIS`
 
 Start a yashicki build with this change as toplevel.
-- 
GitLab