Warning: The “master” branch is no longer used. Use “main” instead. https://gerrit.googlesource.com/git-repo/+/HEAD/release/README.md
These are helper tools for managing official releases. See the release process document for more details.