Skip to content

Rename pull request GetGitRefName to GetGitHeadRefName to prepare introducing GetGitMergeRefName #23140

Rename pull request GetGitRefName to GetGitHeadRefName to prepare introducing GetGitMergeRefName

Rename pull request GetGitRefName to GetGitHeadRefName to prepare introducing GetGitMergeRefName #23140

Triggered via pull request July 16, 2025 13:03
@wxiaoguangwxiaoguang
synchronize #35093
Status Success
Total duration 12s
Artifacts

pull-labeler.yml

on: pull_request_target
labeler
4s
labeler
Fit to window
Zoom out
Zoom in