mirror of
https://github.com/Dev-Wiki/git-repo.git
synced 2025-09-27 11:12:14 +08:00
Change-Id: I6f11d123b68fd077f558d3c21349c55c5f251019 Reviewed-on: https://gerrit-review.googlesource.com/c/git-repo/+/383715 Reviewed-by: Gavin Mak <gavinmak@google.com> Tested-by: Mike Frysinger <vapier@google.com> Commit-Queue: Mike Frysinger <vapier@google.com>
These are helper tools for managing official releases. See the release process document for more details.