GNU bug report logs - #42800
[PATCH] Add (guix git-repo-download).

Previous Next

Full log

View this message in rfc822 format

From: Jakub Kądziołka <kuba <at> kadziolka.net>
To: Danny Milosavljevic <dannym <at> scratchpost.org>
Cc: 42800 <at> debbugs.gnu.org
Subject: [bug#42800] [PATCH] Add (guix git-repo-download).
Date: Mon, 10 Aug 2020 17:38:42 +0200

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

On Mon, Aug 10, 2020 at 05:05:12PM +0200, Danny Milosavljevic wrote:
> Hi,
> 
> On Mon, 10 Aug 2020 16:50:58 +0200
> Jakub Kądziołka <kuba <at> kadziolka.net> wrote:
> 
> > I think the commit message and/or commentary is written somewhat
> > confusingly here. It took me a while to realize that "git-repo" is the
> > name of a tool that manages a multi-repository, and not just short for
> > "git repository".
> > How about replacing "git-repo repository" with "repository managed with
> > the git-repo tool" or "git-repo-based multirepository"?
> 
> Sure.  Where?  In the "Commentary" comment?  Good idea.

Yup.

> The naming "git-repo" is not great.  To be fair to upstream, their tool is
> called "repo", not "git-repo".  Not sure if that's better though.
> 
> Also, I thought about naming our downloader (guix repo-download) instead of
> (guix git-repo-download), but I thought that wouldn't improve things either.
> Would it?

Is the tool used at all outside of Android? Perhaps
android-repo-download would be a better disambugator?

Regards,
Jakub Kądziołka

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