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

Previous Next

To add a comment to this bug, you must first unarchive it, by sending
a message to control AT debbugs.gnu.org, with unarchive 27955 in the body.
You can then email your comments to 27955 AT debbugs.gnu.org in the normal way.

Toggle the display of automated, internal messages from the tracker.

Message #5 received at submit <at> debbugs.gnu.org (full text, mbox):

From: Leo Famulari <leo <at> famulari.name>
To: guix-patches <at> gnu.org
Subject: [cuirass] doc: Clarify the relationship of "repo_name" and "name".
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

Message #8 received at 27955 <at> debbugs.gnu.org (full text, mbox):

From: ludo <at> gnu.org (Ludovic Courtès)
To: Leo Famulari <leo <at> famulari.name>
Cc: 27955 <at> debbugs.gnu.org
Subject: Re: [bug#27955] [cuirass] doc: Clarify the relationship of
 "repo_name" and "name".
Date: Mon, 04 Sep 2017 15:09:48 +0200

Hey Leo,

Leo Famulari <leo <at> 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’.

Message #11 received at 27955 <at> debbugs.gnu.org (full text, mbox):

From: Christopher Baines <mail <at> cbaines.net>
To: Leo Famulari <leo <at> famulari.name>
Cc: 27955 <at> debbugs.gnu.org
Subject: Re: [bug#27955] [cuirass] doc: Clarify the relationship of
 "repo_name" and "name".
Date: Fri, 13 Oct 2017 07:07:56 +0100

[Message part 1 (text/plain, inline)]

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

> Hey Leo,
> 
> Leo Famulari <leo <at> 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?

[Message part 2 (application/pgp-signature, inline)]

Message #14 received at 27955 <at> debbugs.gnu.org (full text, mbox):

From: Leo Famulari <leo <at> famulari.name>
To: Christopher Baines <mail <at> cbaines.net>
Cc: 27955 <at> debbugs.gnu.org
Subject: Re: [bug#27955] [cuirass] doc: Clarify the relationship of
 "repo_name" and "name".
Date: Sat, 14 Oct 2017 23:14:01 -0400

[Message part 1 (text/plain, inline)]

On Fri, Oct 13, 2017 at 07:07:56AM +0100, Christopher Baines wrote:
> On Mon, 04 Sep 2017 15:09:48 +0200
> ludo <at> gnu.org (Ludovic Courtès) wrote:
> 
> > Hey Leo,
> > 
> > Leo Famulari <leo <at> 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?

[signature.asc (application/pgp-signature, inline)]

Message #19 received at 27955-done <at> debbugs.gnu.org (full text, mbox):

From: Leo Famulari <leo <at> famulari.name>
To: Christopher Baines <mail <at> cbaines.net>
Cc: 27955-done <at> debbugs.gnu.org
Subject: Re: [bug#27955] [cuirass] doc: Clarify the relationship of
 "repo_name" and "name".
Date: Sat, 14 Oct 2017 23:20:49 -0400

[Message part 1 (text/plain, inline)]

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 <at> gnu.org (Ludovic Courtès) wrote:
> > 
> > > Hey Leo,
> > > 
> > > Leo Famulari <leo <at> 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!

[signature.asc (application/pgp-signature, inline)]

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.