mirror of
https://gerrit.googlesource.com/git-repo
synced 2026-04-20 11:18:22 +00:00
These are helper tools for managing official releases. See the release process document for more details.
These are helper tools for managing official releases. See the release process document for more details.