Skip to content

Move updateref and removeref to gitrepo and remove unnecessary open repository #24431

Move updateref and removeref to gitrepo and remove unnecessary open repository

Move updateref and removeref to gitrepo and remove unnecessary open repository #24431

Triggered via pull request September 18, 2025 05:55
@lunnylunny
synchronize #35511
Status Success
Total duration 9s
Artifacts

pull-labeler.yml

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