Skip to content

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

Move updateref and removeref to gitrepo and remove unnecessary open repository

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

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

pull-labeler.yml

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