version_control: gitcode src_repo: openhitls/openhitls tag_prefix: "^openhitls-" separator: "." git_url: https://gitcode.com/openHiTLS/openhitls