[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

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

From: Jakub Kądziołka
Subject: [bug#42800] [PATCH] Add (guix git-repo-download).
Date: Mon, 10 Aug 2020 17:38:42 +0200

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


> 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?

Jakub Kądziołka

Attachment: signature.asc
Description: PGP signature

reply via email to

[Prev in Thread] Current Thread [Next in Thread]