Fix notification marking for merged PRs with bot comments#8281

alexr00 merged 7 commits intomainmicrosoft/vscode-pull-request-github:mainfrom

copilot/fix-pr-notification-issuemicrosoft/vscode-pull-request-github:copilot/fix-pr-notification-issueCopy head branch name to clipboard