Update merging-a-pull-request.md and fix #26546#26547

Closed

Winson-Huang wants to merge 3 commits intogithub:mainfrom Winson-Huang:fix#26546

+1-1

Commits on Jul 8, 2023

Update merging-a-pull-request.md and fix github#26546
Winson-Huang
authored

Commits on Jul 10, 2023

Merge pull request #1 from Winson-Huang/main
Winson-Huang
authored

Commits on Jul 11, 2023

Merge branch 'main' into fix#26546
Winson-Huang
authored