[7.2.0] Add strip_prefix
arg to bzlmod's git_override
#2844
Triggered via pull request
April 26, 2024 09:19
iancha1992
closed
#22137
Status
Skipped
Total duration
3s
Artifacts
–
cherry-picker.yml
on: pull_request_target
cherry-picker-on-closed
0s
cherry-picker-on-milestoned
0s