[bug#27955] [cuirass] doc: Clarify the relationship of "repo_name" and "name".

[bug#27955] [cuirass] doc: Clarify the relationship of "repo_name" and "name".

[Leo Famulari]

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

[bug#27955] [cuirass] doc: Clarify the relationship of "repo_name" and "name".

[Ludovic Courtès]

Hey Leo,

Leo Famulari <leo@famulari.name> skribis:

> 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".

I think you’re right, please push!

Thanks,
Ludo’.

[bug#27955] [cuirass] doc: Clarify the relationship of "repo_name" and "name".

[Christopher Baines]

[-- Attachment #1: Type: text/plain, Size: 453 bytes --]

On Mon, 04 Sep 2017 15:09:48 +0200
ludo@gnu.org (Ludovic Courtès) wrote:

> Hey Leo,
> 
> Leo Famulari <leo@famulari.name> skribis:
> 
> > 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".  
> 
> I think you’re right, please push!

Bump. Is this still ready to be merged, as I don't think it has been
merged yet?

[-- Attachment #2: OpenPGP digital signature --]
[-- Type: application/pgp-signature, Size: 963 bytes --]

[bug#27955] [cuirass] doc: Clarify the relationship of "repo_name" and "name".

[Leo Famulari]

[-- Attachment #1: Type: text/plain, Size: 635 bytes --]

On Fri, Oct 13, 2017 at 07:07:56AM +0100, Christopher Baines wrote:
> On Mon, 04 Sep 2017 15:09:48 +0200
> ludo@gnu.org (Ludovic Courtès) wrote:
> 
> > Hey Leo,
> > 
> > Leo Famulari <leo@famulari.name> skribis:
> > 
> > > 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".  
> > 
> > I think you’re right, please push!
> 
> Bump. Is this still ready to be merged, as I don't think it has been
> merged yet?

Sure, but I can't figure out how to push to this repo. What is the push
URL?

[-- Attachment #2: signature.asc --]
[-- Type: application/pgp-signature, Size: 833 bytes --]

bug#27955: [cuirass] doc: Clarify the relationship of "repo_name" and "name".

[Leo Famulari]

[-- Attachment #1: Type: text/plain, Size: 781 bytes --]

On Sat, Oct 14, 2017 at 11:14:01PM -0400, Leo Famulari wrote:
> On Fri, Oct 13, 2017 at 07:07:56AM +0100, Christopher Baines wrote:
> > On Mon, 04 Sep 2017 15:09:48 +0200
> > ludo@gnu.org (Ludovic Courtès) wrote:
> > 
> > > Hey Leo,
> > > 
> > > Leo Famulari <leo@famulari.name> skribis:
> > > 
> > > > 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".  
> > > 
> > > I think you’re right, please push!
> > 
> > Bump. Is this still ready to be merged, as I don't think it has been
> > merged yet?
> 
> Sure, but I can't figure out how to push to this repo. What is the push
> URL?

Never mind, I figure it out and pushed!

[-- Attachment #2: signature.asc --]
[-- Type: application/pgp-signature, Size: 833 bytes --]