git-repo

mirror of https://gerrit.googlesource.com/git-repo synced 2024-12-21 07:16:21 +00:00

History

Roger Shimizu 0a1f533e28 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>		2021-07-16 20:11:41 +00:00
..
README.md	release: import some helper scripts for managing official releases	2020-02-21 05:20:58 +00:00
sign-launcher.py	release: import some helper scripts for managing official releases	2020-02-21 05:20:58 +00:00
sign-tag.py	release-process: document schedule (including freezes) publicly	2020-07-23 08:07:38 +00:00
update-manpages	Add script 'release/update-manpages' to generate manpages	2021-07-16 20:11:41 +00:00
util.py	release: import some helper scripts for managing official releases	2020-02-21 05:20:58 +00:00

These are helper tools for managing official releases. See the release process document for more details.