Skip to content

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

Move updateref and removeref to gitrepo and remove unnecessary open repository

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

Triggered via pull request September 18, 2025 06:08
@lunnylunny
synchronize #35511
Status Success
Total duration 10s
Artifacts

pull-labeler.yml

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