Minor documentation improvement.#42242

shreyaagarwal5595 wants to merge 1 commit intogithub:maingithub/docs:mainfrom

shreyaagarwal5595:patch-1shreyaagarwal5595/docs:patch-1Copy head branch name to clipboard