From: Leo Famulari <leo@famulari.name>
To: Christopher Baines <mail@cbaines.net>
Cc: 27955-done@debbugs.gnu.org
Subject: bug#27955: [cuirass] doc: Clarify the relationship of "repo_name" and "name".
Date: Sat, 14 Oct 2017 23:20:49 -0400 [thread overview]
Message-ID: <20171015032049.GA11307@jasmine.lan> (raw)
In-Reply-To: <20171015031401.GA10210@jasmine.lan>
[-- 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 --]
prev parent reply other threads:[~2017-10-15 3:21 UTC|newest]
Thread overview: 5+ messages / expand[flat|nested] mbox.gz Atom feed top
2017-08-04 15:39 [bug#27955] [cuirass] doc: Clarify the relationship of "repo_name" and "name" Leo Famulari
2017-09-04 13:09 ` Ludovic Courtès
2017-10-13 6:07 ` Christopher Baines
2017-10-15 3:14 ` Leo Famulari
2017-10-15 3:20 ` Leo Famulari [this message]
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=20171015032049.GA11307@jasmine.lan \
--to=leo@famulari.name \
--cc=27955-done@debbugs.gnu.org \
--cc=mail@cbaines.net \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
Code repositories for project(s) associated with this external index
https://git.savannah.gnu.org/cgit/guix.git
This is an external index of several public inboxes,
see mirroring instructions on how to clone and mirror
all data and code used by this external index.