Started by GitHub push by ti-chi-bot[bot]00307213072156705567051.0057725772809cc7dec86616d64c6b2fe1d9e94dd08196333558bcc7dec86616d64c6b2fe1d9e94dd08196333558borigin/maincc7dec86616d64c6b2fe1d9e94dd08196333558bcc7dec86616d64c6b2fe1d9e94dd08196333558borigin/maincc7dec86616d64c6b2fe1d9e94dd08196333558bcc7dec86616d64c6b2fe1d9e94dd08196333558borigin/mainhttps://github.com/PingCAP-QE/ci.gitfalse#8095670580415seed #809809falsefalse809983880SUCCESS1747911926511https://do.pingcap.net/jenkins/view/all/job/seed/809/default-k6n29scripts/artifacts/gethash.pycc7dec86616d64c6b2fe1d9e94dd08196333558b1747911886000https://do.pingcap.net/jenkins/user/noreplynoreplynoreply@github.comfeat(scripts/artifacts): add gethash.py for retrieving git hashes from GitHub API (#3530) This commit introduces a new script, `gethash.py`, which allows users to retrieve git commit hashes based on repository names, tags, branches, or pull requests using the GitHub API. The script supports both tag-based and branch-based versioning, enhancing the devbuild pipeline's ability to resolve specific commit hashes for building versions. 2025-05-22 11:04:46 +0000cc7dec86616d64c6b2fe1d9e94dd08196333558bfeat(scripts/artifacts): add gethash.py for retrieving git hashes fromaddscripts/artifacts/gethash.pygithttps://do.pingcap.net/jenkins/user/noreplynoreply