Update merged notification comment in workflow#42925

johnny1494 wants to merge 1 commit intogithub:repo-syncgithub/docs:repo-syncfrom

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