Google Git
Sign in
gerrit / git-repo / 0a1f533e2835c856473e3e4046341a4d2f66764b
commit0a1f533e2835c856473e3e4046341a4d2f66764b[log] [tgz]
authorRoger Shimizu <rosh@debian.org>Sun Jun 20 21:41:05 2021 +0900
committerMike Frysinger <vapier@google.com>Fri Jul 16 20:11:41 2021 +0000
tree0902c039b76525f1c6785cec561df46265fdb787
parent927d29a8afa26a3f1aec841f2150c65e3931ef9b [diff]
Add script 'release/update-manpages' to generate manpages

Debian package started to ship manpages for repo since 2.8 [1]
And it's about for one year. So I think it should be upstreamed.

The script depends on help2man, which is available in both debian [2]
and ubuntu [3].

[1] https://tracker.debian.org/news/1150858/accepted-repo-28-1-source-into-unstable
[2] https://tracker.debian.org/pkg/help2man
[3] https://launchpad.net/ubuntu/+source/help2man

Change-Id: Ide2b356d0944ebde34cc96c6d5a782655bd72288
Signed-off-by: Roger Shimizu <rosh@debian.org>
Reviewed-on: https://gerrit-review.googlesource.com/c/git-repo/+/309782
Reviewed-by: Mike Frysinger <vapier@google.com>
30 files changed
tree: 0902c039b76525f1c6785cec561df46265fdb787
  1. .github/
  2. docs/
  3. hooks/
  4. man/
  5. release/
  6. subcmds/
  7. tests/
  8. .flake8
  9. .gitattributes
  10. .gitignore
  11. .mailmap
  12. .project
  13. .pydevproject
  14. color.py
  15. command.py
  16. completion.bash
  17. editor.py
  18. error.py
  19. event_log.py
  20. git_command.py
  21. git_config.py
  22. git_refs.py
  23. git_ssh
  24. git_superproject.py
  25. git_trace2_event_log.py
  26. gitc_utils.py
  27. hooks.py
  28. LICENSE
  29. main.py
  30. MANIFEST.in
  31. manifest_xml.py
  32. pager.py
  33. platform_utils.py
  34. platform_utils_win32.py
  35. progress.py
  36. project.py
  37. README.md
  38. repo
  39. repo_trace.py
  40. requirements.json
  41. run_tests
  42. setup.py
  43. ssh.py
  44. SUBMITTING_PATCHES.md
  45. tox.ini
  46. wrapper.py
README.md

repo

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

Contact

Please use the repo-discuss mailing list or issue tracker for questions.

You can file a new bug report under the “repo” component.

Please do not e-mail individual developers for support. They do not have the bandwidth for it, and often times questions have already been asked on repo-discuss or bugs posted to the issue tracker. So please search those sites first.

Install

Many distros include repo, so you might be able to install from there.

# Debian/Ubuntu.
$ sudo apt-get install repo

# Gentoo.
$ sudo emerge dev-vcs/repo

You can install it manually as well as it's a single script.

$ mkdir -p ~/.bin
$ PATH="${HOME}/.bin:${PATH}"
$ curl https://storage.googleapis.com/git-repo-downloads/repo > ~/.bin/repo
$ chmod a+rx ~/.bin/repo