Merge pull request #22744 from WanliZhong:fix_gitcode_mirror
authorAlexander Alekhin <alexander.a.alekhin@gmail.com>
Thu, 3 Nov 2022 16:14:28 +0000 (16:14 +0000)
committerAlexander Alekhin <alexander.a.alekhin@gmail.com>
Thu, 3 Nov 2022 16:14:28 +0000 (16:14 +0000)

Trivial merge