update_checkout.py: fix inconsistent options help capitalization#68374
Merged
MaxDesiatov merged 1 commit intomainfrom Sep 7, 2023
Merged
update_checkout.py: fix inconsistent options help capitalization#68374MaxDesiatov merged 1 commit intomainfrom
MaxDesiatov merged 1 commit intomainfrom