Fix the command of deleting a remote branch#25053

Merged

steveward merged 1 commit intogithub:mainfrom

fei6409:fix-doc

Apr 17, 2023

Commits on Apr 17, 2023

Fix the command of deleting a remote branch
fei6409
committed