Subject: [cuirass] doc: Clarify the relationship of "repo_name" and "name".

From: Leo Famulari <[email-masked]>
Date: Fri, 4 Aug 2017 11:39:31 -0400

I *think* this patch is correct. I'm currently trying to get started
with Cuirass and this tripped me up.

* doc/cuirass.texi (Specifications): Mention "name".
---
 doc/cuirass.texi | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/doc/cuirass.texi b/doc/cuirass.texi
index 2899ffb..76f1ecc 100644
--- a/doc/cuirass.texi
+++ b/doc/cuirass.texi
@@ -216,7 +216,9 @@ Entries in this table must have values for the following text fields:
 @table @code
 @item repo_name
 This field holds the name of the repository.  This field is also the
-primary key of this table.
+primary key of this table.  Although this field is called
+@code{repo_name} in the database, it's called @code{name} in the
+specification itself.
 
 @item url
 The URL of the repository.
-- 
2.13.3