14

excerpt for tag says

Repo is a repository management tool that Android built on top of Git. Repo unifies the many Git repositories when necessary, does the uploads to our revision control system, and automates parts of the Android development workflow. Repo is not meant to replace Git, only to make it easier to work with Git in the context of Android. The repo command is an executable Python script that you can put anywhere in your path.

However, things tagged with repo are rarely about that. Usually people use the tag whenever they are talking about anything related to git repositories, such as this and this. Sometimes it is used for some other repositories altogether, such as package repositories.

I think the tag with that naming will continue to attract wrong kind of usage, and instead it should be named to . Despite the excerpt, I think would be misleading, since it can and is used in other contexts as well - it can be used in any context when you need a tool using multiple git repositories at once.

(Edit: as per these instructions, I'm now proposing a tag rename instead of discussion and re-worded this as such.)

5
  • 3
    No puns in title? :-( .... git remove [repo] Dec 22, 2015 at 16:25
  • sorry, couldn't come up with one :/
    – eis
    Dec 22, 2015 at 16:27
  • Indeed it is quite unintuitive, repo-tool sounds great!
    – iScrE4m
    Dec 22, 2015 at 23:10
  • It looks like this lost out to git-repo. Jun 11, 2018 at 19:01
  • @JamesMoore I don't think anything has happened one way or the other, unfortunately. git-repo only has 16 questions tagged.
    – eis
    Jun 11, 2018 at 19:45

0

You must log in to answer this question.

Browse other questions tagged .