branch: master commit 581b6e4fee990a4d89c58708ed2c453dc383f6f1 Author: Leo Famulari <l...@famulari.name> Date: Fri Aug 4 11:37:42 2017 -0400
doc: Clarify the relationship of "repo_name" and "name". * 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 779450c..ec81245 100644 --- a/doc/cuirass.texi +++ b/doc/cuirass.texi @@ -231,7 +231,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.