Explain that GITHUB_SHA may not always be the commit that was pushed#15482

ramyaparimi merged 7 commits into

github:maingithub/docs:mainfrom

danielcompton:patch-4danielcompton/docs:patch-4Copy head branch name to clipboard